Tomcat HTTPS

* Templates and copies `server.xml` and `web.xml` files to server rather than relying on sed.
* Extends `TomcatServer` to support HTTPS.
* Hoists some useful bits from `Jboss7ServerImpl` to `JavaWebAppSoftwareProcessImpl`.

I verified that the Tomcat integration tests all ran succesfully.
```
mvn clean install -PIntegration -Dtest=TomcatServerWebAppFixtureIntegrationTest
```

The Jboss integration tests failed, but they fail for me on master too. Please run the following command from `software/webapp` and do not merge this pull request if it does not complete successfully. You should only need to test JBoss 7: disable the JBoss 6 test by commenting out lines 40-42 and 49 of `JbossServerWebAppFixtureIntegrationTest`.
```
mvn clean install -PIntegration -Dtest=JbossServerWebAppFixtureIntegrationTest#canStartAndStop
```
should be

        return new JavaWebAppSoftwareProcess[][] {
                new JavaWebAppSoftwareProcess[] { tomcat },
                new JavaWebAppSoftwareProcess[] { httpsTomcat }

(i'll fix)