added user option to silence progress reporter

git-svn-id: http://emacspeak.googlecode.com/svn/trunk@8355 bb5eec90-091a-0410-bc89-db79c2cf2c7b