Added references to Olivier's papers on the SECD machine
Merge branch 'EJCP' into EJCP-solutions

Conflicts:
	exercises/SECD/Compiled.agda