Make it possible to pass any coqtop option through coq-tex.

Add option -options for that purpose.
Remove specific handling of option -boot as it is useless for the end user.
Clean usage documentation along the way.
Support option -L to add a path for loading ML plugins.
Disable recursive lookup inside preconfigured directories and remove implicit -L from options -R and -I.