Prune unused grammars

script/prune-grammars will remove any grammars that aren't needed from
grammars.yml.