resolved some common headless issues relating to (relatively) fixed paths in the source
clarified the wording in the titleNonEmpty rule
minor reformatting of the headless results page
further UI refinements for the batch runner reports
Merge branch 'master' of https://github.com/GaloisInc/FiveUI
Merge branch 'master' of https://github.com/GaloisInc/FiveUI
updated run description for a headless run to include firefox profile path