renamed timer routines
added web server

Added web server support based on the Mongoose 'single source file'
distribution (simplest one I could find). Websockets are supported
which allows easy console I/O via a small Javascript on the client-side.