taking into account all invocations

During in-out analysis, only "result origin" invocations affect analysis, so only such invocations are propagated.
Infrastructure for integration tests (#13)
a specialized inferencer for parameters
refactoring: separation of processing and in/out
Infrastructure for hand-coded tests (#13)
sbt 0.13.5
script for JDK8
optimization of OriginInterpreter
commenting out calls to virtual functions

(Solver doesn't distinguish virtual/stable calls for now.)