Added methods for checking if ports are occupied.
Added websockets (via gevent-socket.io) for real-time server monitoring.
Debug and sandbox options made more central.
Correct type fields on form objects.
Centralized debug and sandbox options.
Upgraded FontAwesome to 3.1.1
Shortened sidebar lables
Validators for config form fields
Initialize validators and sync server monitor.
comment
Server and experiment controls in navbar.
Socket.io module, multithreading, and server monitors.