A simple RESTful echo server