Added propnet - not sure if faster than prover though
Merge branch 'master' of github.com:adamwgoldberg/gameplaying