linux fix
Disconnect from master on exit
build improvements from trunk
Build
First maintenance release
Improvements from trunk ported to branch
version
Version bump
Fix for soccer, level resolution, rejoin-game bug