Deprecate options -dont, -lazy, -force-load-proofs.

These options no longer have any impact on the way proofs are loaded. In
other words, loading is always lazy, whatever the options. Keeping them
just so that coqc dies when the user prints some opaque symbol does not
seem worth it.
Deprecate useless option -unsafe.