Remote preference saving
Prefs.java:
-renamed from Preferences.java to keep code easier to read
-renamed values to Keys
-changed config file format to exactly match the names stored in Keys
-added savePreferences() to write preferences back to disk

SimpleHttpServer.java:
-added update_settings handler to save preferences from form
-added link in some sections in settings.html to restart modules (restarting unimplemented)

main.js:
-fixed bug where fixed port number was being used

Coordinator.java:
-changed command line options to exactly match the Prefs Keys

index.html, index.css:
-small tweaks in layout