Port from Ethercard to Ethernet lib

Also dumb down the web server a lot so it just sends 200 all the time
instead of doing redirects and actual html and all that fanciness. In a
future episode, we'll have a web ui that runs on a real computer and
talks to this API under the hood.