build: rename the "skip lib files" option

* Old cmake option: `-DZIG_SKIP_INSTALL_LIB_FILES=ON`
 * New cmake option: `-DZIG_NO_LIB=ON`
 * Old build.zig option: `-Dskip-install-lib-files`
 * New build.zig option: `-Dno-lib`

Motivation is making build commands easier to type.
0b99e5e4c4Andrew Kelley committed on 10/27/2022, 10:18:00 PMparentf4f4e33
3 files changedLine totals unavailable