Dings and dents fixed:

- updated to latest released version of ANTLRv4;
- some minor grammar & API issues fixed due to upgrade to latest
  ANTLRv4 version;
- added ability to double-click on a problem marker and have it
  selected in the editor;
- fixed a small repaint issue in the ruler view.