Install extra package needed by Jetty

See http://askubuntu.com/questions/377021/solr-jetty-on-ubuntu-12-04-3
Rename a docs page
Merge branch '1323-fix-travis-jetty'
Fix a Sphinx warning
Rebuild main.css