New move_to_ball behavior and a postcondition fix
Merge branch 'master' of https://github.com/Wobbo/PAS-Sokkers