unit tests
Merge branch 'master' of https://github.com/nnesic/CerealKillers.git

Conflicts:
	GGP/src/org/ggp/base/util/prover/ReasonerUnitTests.java
Merge branch 'master' of https://github.com/nnesic/CerealKillers.git
boh?