add search documentation
remove navigation from main documents due to sidebar and tex issues
add cross reference
add version and pdf-link to html version
use external release string if available