add options to control output of JSP/HTML/static files
Merge branch 'master' of https://github.com/kdgregory/pathfinder
Merge branch 'master' into dev-options