Revert "Decent error message when a constant is not found"

This reverts commit c4bdf93e358b97b32e0d80d6c7d1b79a2ece1dc2.
Fixing Camlp4 compilation
Fixing coqdep_boot warning relative to unknown ML files that were in tactics.