code template
first implementation of reduced summaries
comments for SummarizableAbstraction
bidisolver now supports summarizing abstractions
made bidi solver extensible
new version of guava
added a PathTrackingIFDSSolver which implements the keeping track of paths;
modified BiDiIFDSSolver such that it extends this solver; this is necessary because the BiDi-operations must occur before (!) the caching; otherwise the path constructions may miss paths
Revert "comments for SummarizableAbstraction"

This reverts commit 0b8c932a3148db790a0e508d1682733a1890c9c9.
Revert "first implementation of reduced summaries"

This reverts commit f161c0430a281cc1b7a9fa2bec3ac5423a4b3887.
Merge branch 'feature/reduced-summaries-bidi' into develop

Conflicts:
	.classpath
	src/heros/solver/BiDiIFDSSolver.java