Deployment: bug fixes, job settings profiles

We deployed today to fix a couple bugs reported recently by Clark Barrett (rejecting uploaded benchmarks with long names, and a problem showing subspaces in the job explorer). Eric Burns (our lead developer) has also added a cool feature where you can save settings for jobs, and then reuse those settings for later jobs just by selecting the saved settings profile. Let us know if you run into issues or have requests for this new functionality.
Aaron