fetching all prover sequence of all projects in workspace
fix collecting sequents
find installed reasoners
working on tactics instead if reasoners
renaming
java 6