Add highlight.js language autodetection

Modifies options.highlight so that it will first try to use the specified language, but then fall back to autodetect if the language isn't recognized or wasn't specified at all.