CoqEditor should include preferences from the shared editor store

As a result of the last commit, matching bracket highlighting worked, but
the progress annotations didn't. This commit fixes that problem