added build configuration file for Jenkins server
Merge branch 'develop' of github.com:Sable/heros into develop
new version of guava
Merge commit '888ec581cd3ec2d5622920043a5373ebf56f1b3e' into develop
updated templates to new guava version
Added counter resetting and thread interruption to fix #3
Merge pull request #4 from malaverdiere/develop

Added counter resetting and thread interruption to fix #3
Refactored flow function computation to call FlowFunction.computeTargets in a protected method (which can be overwritten by child classes) instead of directly in the solver logic.

The concrete use case was a return flow function which needed access to the context in which it was applied. With this refactoring, one can now simply subclass the solver, overwrite the new protected method and do one's problem-specific magic there.
added a parameter in the internal protected method and fixed some JavaDoc comments
1) semantic fix: unbalanced returns are associated with a caller-side zero fact as context (d1), not with an empty list of contexts. This allows us to distinguish whether we actually have no caller to which to return or whether we have an unconditional taint.

2) code merge from Reviser: Allowing jump functions to be deleted
made a method protected
Merge branch 'feature/reduced-summaries' of https://github.com/Sable/heros into feature/reduced-summaries