Look over options and their documentation

[Görel Hedin]

After discussion with Dresden group.

[Jesper Öqvist]

I updated the page about the tracing option: http://jastadd.org/web/tool-support/tracing.php

[Jesper Öqvist]

Update command-line option documentation

see #314

→ <<cset 0180b891a3f2>>

[Jesper Öqvist]

I have removed all previously deprecated options (they were all deprecated many releases ago).

I also deprecated some new options:

• debug - this has very little effect currently and I don’t see much use in keeping it
• lazyMaps - defaults to on, should always be on
• private - unnecessary
• traceVisitCheck - nobody uses this as far as I know, and throwing an exception seems just as useful
• inhEqCheck - should always be on, only reason to disable it is if there is a bug in JastAdd
• refineLegacy - should never be used

‌