Deployment today: edit space permissions, updating benchmarks, bug fixes

A new deployment should be going out today. There are some improvements to the edit space permissions page, implemented by new developer Albert Giegerich. You can now add users to a space or space hierarchy from a table on that page. Eric also moved the "make space public" button to that page, from the space explorer page. Ryan (McCleeary) has added new functionality for updating benchmarks in place on StarExec. This will be documented shortly on the User Guide. And there are a few bug fixes, including one (hopefully) for the issue found by Johannes, where mktemp was failing occasionally when running jobscripts.
Aaron Stump