Cleaning up files for push to origin on github
   - updated tracing
   - ripped out documentation (confusing)
   - changed how json is encoded
   - added recognition to web_sockets.