Change JSON device description "type" to be consistent with configuration
Responsive layout fixes for mobile
Cute little JSON pretty-printer
Include a millisecond timestamp in each USBDevice's JSON description

This lets us uniquely identify a particular device connection instance.
Tidy up some JavaScript and CSS
CSS tweak: Thinner header margin
Fix reconnect button
Implement device-specific JSON messages
Web UI: Device hot plug, more UI work