Public server

I run the web server as public quite often for testing and I got tired of reverting build.xml whenever I had to pull from github.  This adds a `runPublicServer` target and a `runServer.public` and 'runServer.port' properties, which default to false and 8080 respectively.

 @shunter Since I'm no ant master, let me know if there's a better way to do this.  I'm also 99% confident these commits are free of spelling errors (fingers crossed)