change mouse cursor when over a selection

Change mouse cursor to a pointer when hovered over a selection
Revert "change mouse cursor when over a selection"

This reverts commit b5a1aaebbac57d145d47e3d4dc74e96b39bb0443.
change mouse cursor when over selection

moved to mouse handler. don't change when dragging or selecting.
selection hover improvements

fix issue with wrapped lines and compute only when necessary.
fix mouse not always changing on first line
add vala mode
Merge pull request #1988 from ajaxorg/syntax/vala

add vala mode
fix "{$foo->bar}"."{$foo->bar($a)}"."{$foo->bar(&$a, $b)}";
fix "{$foo['bar']}"
fix "{$this->foo->bar('foobar')}"
Highlight matching HTML tag

fixes #1308
Merge pull request #1991 from adamjimenez/patch-28

fix "{$foo->bar}"."{$foo->bar($a)}"."{$foo->bar(&$a, $b)}";
matching tag fixes

remove global editor ref, add listener
fix tag flicker

fix tag highlight flicker when selecting
use setCursorStyle instead of modifying classes
do not change mouse over selection if dragging isn't enabled
Merge branch 'pull/1995'
Merge remote-tracking branch 'remotes/pull/1995'
add todo reminder
Merge branch 'master' of github.com:ajaxorg/ace