PITEST 1.12, 1.13 work only with Junit-4.10 :(

* CUTsrc : source of the classes to test
* t3suites
     /script: groovy scripts to generate t3 test-suites and oracles
	 /generated: generated suites and oracle files
* tests
     /manual: manual testing
	 /t3query: test by replaying saved t3-suites, checked vs specifications written as queries
	 /t3orc: test by replaying saved t3-suites, checked vs inferred oracles
* libs : jars needed to compile and run the CUTs and their unit tests
* build: where I will put compiled classes
* data: where I will put PITEST reports