withmorten premake: add no-full-paths option for CI builds, rename lto to with-lto