more package renaming

Conflicts:
	.gitignore
Added required a3t libraries, adjusted configs
Fixed classpath, added jimple code of acteve utils, updated to latest soot.jar
Instrumentation works. Loading all acteve.symbolic.* classes, including subpackages, fixed NPE on validation, library classes are loaded correclty and resolved at level BODIES
Inserting WRITE_EXTERNAL_STORAGE permission into manifest, as concolic logs are stored there
Symbolic output traces are created, definition of own models is possible, more debug stuff, more Z3 functions
Upgraded to working soot version
Correct main activity is launched by executor
Finding all classes along the interesting call paths, add a simple app for testing purposes
Dynamic injection of Z3 solution values. Solutions are pushed to /sdcard/solution.txt for every run, fixed some wild exceptions...
Cleanup, introduced LIMIT_TO_CALL_PATH for switching on Rafael's code
Bugfix: Only INTs are treated by getSolution_int, concolic instrumentation+execution works for simple app