Fixed: unhelpful highlights class name

The default class name for highlights is now ID-diva-highlight, and resetHighlights() and removeHighlightsOnPage() use this to prune the DOM.

Known issue: resetHighlights() assumes this new default class name when pruning the DOM, even if a different divClass is specified in highlightOnPage (see #173 ). Will fix tomorrow.

Refs #171