Fixed server.py added check.sh

Fixed some bugs in server.py
Replaced argparse with optparse so that it can run on python 2.6.6 on vmchecker.
Added check.sh checking script.
New mac bot.
Merge branch 'master' of github.com:tudalex/Tema2-PA-Resurse