Shift to premake5; package an official premake5 along with the source.