add set_skip on case constants in compile_repl_step

now seem to be able to compile the "standard prelude" in under a minute,
but still getting stuck somewhere on the compiler itself..
Merge remote-tracking branch 'origin/master' into fix_elab