Merge pull request #26 from ilya-klyuchnikov/combined

One pass simple analysis
refactoring: extracting simple/complex analyses
logging cycle/non-cycle methods
CombinedSingleAnalysis cleanup
minor: logging time of processing
handling several jar files
fast result origins analysis

(via inverse symbolic computation)
microoptimizations
using lite analyzers for methods without JSR instructions

It resurrects handling of JSR instructions (important for legacy bytecode)
delta in data after resurrection handling of JSR instruction
refactoring move
do not generalize this
delta in data
optimization: no need to make stack of results for contracts
extract/refactor leaking parameters analysis
optimization: collecting leaking parameters in one pass
move doNothing flag into FabaProcessor
propagate the fact that parameter was dereferenced between analyses
different models of calculating results

No MakeResult stack for contracts
an attempt to combine @NotNull and @Nullable analysis

experiments show that this is not-optimal, since in many cases either @NotNull or @Nullable produces early result.