Remove unused annotation highlight div

This is now done using CSS. For annotation-heavy documents this change makes the DOM much lighter.
Merge pull request #5569 from timvandermeij/annotation-rewrite-1

Remove unused annotation highlight div
Update linting on Travis to cover *.jsm files (PR 5406 followup)

Trivial followup to PR 5406.
Merge pull request #5578 from Snuffleupagus/travis-jsm-lint

Update linting on Travis to cover *.jsm files (PR 5406 followup)
Added multiple term search functionality (with default phrase search)