use a different website theme (adapted from Bootstrap, similar to AI4FM)
support loading SVG on WEBrick (local jekyll server)
content for Documentation section (features and getting started)

Minimum adaptation from isabelle.eclipse.doc
Developer information: building Isabelle/Eclipse
updates to the main page: screenshot, split-off Downloads page
Merge branch 'website-upgrade' into gh-pages