Backport cover options change from website
Resync options.rst with current Picard UI

Some descriptions are still missing.
Fix up few broken links
Remove few characters bugging latex
Comment out unneeded sphinx extensions
Improve syntax highlighting in few code blocks