Merge pull request #16 from cdmihai/recorderInfra

Recorder infra
Merge branch 'master' into AST-Inference
Merge branch 'AST-Inference' of github.com:cdmihai/eclipseReplayer into AST-Inference