Replace JAVA_OPTIONS in docs with TITAN_JAVA_OPTS

The latter is preferred in most cases (including this example snippet
in the docs) because it retains the default JVM options, appending to
instead of overwriting the defaults.
Removing the next/prev header navigation links