Remove hint db and import of omega, since omega will be removed from Coq.

Merged Robbert Krebbers requested to merge robbert/omega into master

Merge request reports