Moved from json4s to play-json.

While the means more code to write for boring case classes, it also
means easier tolerance for optional values like the ones in user info.