pull the cakeml computeLib stuff out into a separate library

also make some changes: only use the labels_compute database to store
code_labels_ok at the compile_prog level.