Various small changes

* Made some colors more intense so that they display better on screens
  with weak colors.
* Make country_info and game_aid better looking
* Rearranged the menu a bit
* If no id is included for the filter for a given prop, that is now
  equal to all ids being included.
* Now showing "$game_done_nr ($game_correct_nr) / $game_total_nr" in
  a status box
* It is now possible to give up