Syntax color for more vernac keywords

[dlesbre]

I used the command index at https://coq.github.io/doc/V8.10.2/refman/coq-cmdindex.html to hopefully get a more exhaustive coloring of vernacular keywords.

Changes:

• Fix Context [foo... and Context {!foo... not coloring
• Add commands Declare Scope, Load, Declare ML Module, Add, Remove, Test, Pwd, Cd, Reset, Back, Strategy and Create HintDb
• Add SearchXXX commands
• Add all Hint XXX, Print XXX, Remove XXX, Locate XXX, Ltac2 XXX, Show XXX Declare XXX, subkeywords
• Add typeclasses eauto tactic

[thery]

Why 8.10?

[dlesbre]

For some reason its the one google brought me too... I'll take at look at differences with 8.16.1

[dlesbre]

Updated with 8.16.1 keywords

[thery]

Perfect!