Updated .gitignore: don't commit files under 'compiled/'
Merge branch 'Measuring_trace_duplication' of https://github.com/mvdcamme/meta-tracing-JIT into Measuring_trace_duplication