The Random Game Generator