Principally widened the File type in PathMapping to accommodate more use cases.
Merge branch 'master' of github.com:sbt/sbt-web