Random grammar set and scripts now use randomcfg rather than random1000.
Other minor changes (mostly tidying up)