Delete compilationLib

[myreen]

compilationLib used to be used for all in-logic compilations, but now in-logic compilations should use cv_compute through cv_translator/eval_cake_compile_{x64,arm8,ag32}Lib.sml.

This issue is about removing the last uses of compilationLib and deleting compilationLib (and possibly some of the compset, e.g. backendComputeLib.sml, that have become out of date).

If this issue is done, then issues #487 and #768 should also be closed.