add compilerProofs to Holmakefile for replCorrect
attempt to start proving lexer_correct; it looks false though