give better error message on forbidden identifiers

[fblanqui]

• lpLexer: fail if ? is followed by an id or a number with a leading 0, fail if $ is followed by a number
• lpParser: fail if a symbol name is a number, put expected keywords between double quotes
• add OK and KO tests
• rawdk.ml: accept aborted proofs