Added courier package to use inline teletype. Working on core.v descriptions/challenges
Working on lemma_two_tracepat.
Adding some notes
Resolved merge conflict in report.tex