#36 Publish locally played games to matches.ggp.org
Merged 'develop'.