doc: align manual, developer guide filenames with wiki
doc: sync latest manual/dev guide from wiki
doc: static site uses hakyll(-std) again, import wiki content
site: use CDN for bootstrap/jquery
site: use a bootstrap nav bar
site: local styles, eg for table of contents
site: content updates for the hakyll/pandoc site
doc: add contributors page to site, lower-case it
site: fix sizing on mobile screens
site: drop release notes from nav bar
site: misc updates
site: new verbose front page content
site: tweaks
site: template cleanups
site: bold logo text
site: quick links tweaks
site: home page tweaks
site: adjust some manual section names
site: disable unnecessary stylesheet
site: updates from IRC