Added two features to the console. URI hyperlinks are selected when
activated, for copy/paste usage afterward. Secondly, CMD+UP searches for
the first command that contains the current string after the prompt. Use
CMD+UP and CMD+DOWN to move back and forth in the search results. A new
command entered or canceled resets the search.
Merge branch 'master' of github.com:cwi-swat/rascal-eclipse