Tree Sitter parser for the Rocq Prover

Requirements:

• tree-sitter CLI:cargo install tree-sitter

Notice that this grammar is by definition incomplete and innacurate since the syntax of the Rocq language can be altered by the Notation command. For more information see this warning in the official documentation.