Bringing back the auto-save feature (I had turned it off while testing
my previous commit)
Merge branch 'master' into feature/h2-data-storage

Conflicts:
	codepulse/src/main/scala/com/secdec/codepulse/tracer/TraceManager.scala