open things in labels_computeLib.sml so it can Holmake
another probable bug in compile_prog

don't know why it was decrementing n
more progToBytecodeScript.sml infrastructure