Adapt the Jenkins build script to build with both compilers.
In order to keep being clever we need to create two workspaces for gcc and clang, that are identical. If the code is not touched, both workspaces will separately use already-compiled object files.
In everyday programming work, one workspace is enough, but I renamed it to gmake for consistency and logical reasons. This will require us to update quite a few build instructions, but the update to premake5 is the perfect reason to update those instructions.