[coq_elpi_builtins] change error msg accumulating non-closed clause in a db

[coq_elpi_builtins] change error msg accumulating non-closed clause in a db #85