Removed automatic port number for web server
Prefs.java:
-removed key for autoIncPort, no longer needed.
-changed default port number to 8000

Coordinator.java:
-added command line parsing for web server port (temporary fix, command line parsing needs to be updated to support all options)

EncryptedWebServer.java, WebServer.java:
-removed support for using ephemeral port number, throws exception if port number can not be parsed as Integer value

SettingsHandler.java:
-adding debug level preference to main section
-removed cludge to blank port number if autoIncPort was set