Fix a few compiler.lem bugs

Also move to using a stub Lem library directory so that CakeML can
continue to not require users to download Lem.