Build now extracts correct function, and always extracts haskell
Made playGameWithPlayers return an outcome instead of game (for easy proofs), but kept the old function as well for debugging purposes
Created proofs file, proved that naive_player vs naive_player results in second player victory