handling of duplicate transitions (#11)

Possibly, this is sufficient (no need for sets) since there are 1-2-3 (very rarely more) transitions per instruction
resultOrigins analysis
handling exceptions as bottom
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.)
Integration test for jdk7 (closes #13)
data for integration test (#13)
Merge pull request #16 from ilya-klyuchnikov/virtual

Indexing virtual calls