add '.name' constant to HParserVtable
Does what it says on the box, great for debugging & code generation – Coq backend will use this unless a different approach is requested.
Open questions:
- does this need tests? (If yes, what/how? Haven't looked in detail at the test infrastructure yet.)
Not sure if I'm missing anything else, didn't notice anything yet…