Example that uses spray http and json4s in a json-based REST service