Preconditions and Postconditions added for player.cpp
Merge branch 'master' of https://github.com/StrawberryKiwis/MaoKiwi