Deployment: bug fixes, quick jobs

We are deploying a new release of StarExec this afternoon, with these updates:

-- a bug in job creation when choosing solvers to run on a hierarchy of benchmarks has been fixed. This was reported last week by several users in the Bug Reports section of this forum.

-- a Safari-only bug where default postprocessors were not automatically selected when creating a job has been fixed.

-- the "quick job" functionality is being re-enabled. Guests can create a job in a community just by copying and pasting a benchmark into the quick job page. We (Eric!) are also working to add the ability for users to store job profiles, that can be used to populate job parameters. This will be available for all jobs soon, but is now ready for jobs on the quick jobs page.

Aaron