Fix strange crash on Ubuntu 12.04. Stop highlighter on document deletion
Completer termination fixes
Bracket highlighter: use sensible exception name instead of UserWarning
Tests: fix bracket highlighter test