Correct git URL for checking out luajet.