Updates to server

Remove color
Rewrite Server.log() to allow unbuffered output
Change <pre> tags to allow wrapping
Allow server port to be changed from command line