Merge pull request #121 from wmde/highlightsubstring

Replaced $.util.highlightMatchingCharacters with $.util.highlightSubstring
Added "language" option to valueview widget