Git mirror of premake-dev repo with some enhancements