Adding test configuration
Moved to test
Test for java to Z3 mappings
More ignores
Doc for running the tests