Fix broken commit 2bcb2cb.
Remove unused lookup table.
Mark lazymatch as an Ltac keyword for coqdoc. (Fix for bug #3276)
Recognize Parameters as a command in coqdoc. (Fix for bug #3279)