Deal gracefully with missing highlighter module

Candidate solution for #5