Add play support, update Json4s version, etc.