A few server-side bits for playing with internet-connected Arduinos.