Add new script to prune based on number of RHS nonterminals
Commit local ScoreUtils changes (??)
Ditto widen-format
Merge branch 'master' of github.com:ghanneman/grascore

Conflicts:
	ScoreUtils.pm
	widen-format.pl