generalize IntraproceduralSlicer: direction of slicer (i.e. forward or backward) is decided by subclass, and also the traversable edges can be restricted - this is used to implement an intraprocedural data slicer
bugfix of slicing-based ifc: only information sources (in the backward case, sinks in the forward case) can cause leaks
Added joana-log.properties to .gitignore
Introduce Java-Anntations for IFC Annotations
Run ToyTests using the Java-Annotations.

Also: Add Testcase for wala-crash
ToyTests: Refer to classe by .class, not by String

This may make things more refactoring friendly?!?
Add Dependency for joana.api to annotations project
Fix classpath for Toy Tests
Merge branch 'master' of ssh://ssh.info.uni-karlsruhe.de/ben/local/GIT/joana into devel-master
refinement of JoinAnalysisIFCMantelTest (precision test): print number of found violations before failing
bugfix in PreciseMHPAnalysis; better use of mhp information to prune interferences which avoids soundness leaks
add two more tests which show that you have to be careful with pruning interferences in the presence of joins
let SDGUtils handle also the case, that the name of the SDG is null
graphviewer bugfix: avoid npe
CALL_RET nodes are also interesting
allow also HELP edges in CFGs
enable SDGSerializer to serialize arbitrary JoanaGraphs (in particular: CFGs)
DPN integration, merged changes from old repo
strip trivial cycles from reduced cfg
make comment more precise