move {compile_special,compile_initial_prog}_def to compiler.lem
minor fixes to compute_inferenceLib.sml
start work on compute_compilerLib.sml

produced one version of the compiler compset which doesn't do any fancy
conversions to keep track of code_labels_ok. the entrypoint has a flag
asking whether you want to do this (but it's not yet implemented).