Suppress the rich goal presenter's caret listener during updates

This fixes a bug caused by using the wrong range data when updating the
bottom control
Always use DOTALL mode in the sentence classification regular expressions
Filter out unnecessary whitespace when creating CoqRequireGroup tags