servlet: new separate servlet for searching for results
implement "completed games" page
format_time(): handle (non)pluralization of hours, handle multiple days ago
servlet: change how playerRoles are encoded in database
servlet: handle null/empty Location when posting a new game result
review_results: highlight the row for the selected completed-game