Human readable category names

[tylerhutcherson]

Instead of using the arXiv category labels, translate those to human readable names, on the front end (in the filter dropdown).