Delete PRODUCTIONS.txt

Productions not needed, either.