Now completely written for WebSockets

No longer supports get_pin, if it ever actually did. Haven't tested
much. Works with writing and (sort of) reading digital pins.