#775 Enhance mime type guessing
There are some glaring deficiencies in the /etc/mime.types list maintained on our web production servers (.java isn't in there, for example). We should either write our own or (at least) use pygments to tell us what can be highlighted rather than relying on detecting a text/* type.
Originally by: n_oostendorp