HTML5 <mark> highlighting

Ticket: https://vufind.org/jira/browse/VUFIND-563

Reference: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/mark

:+1: