Adding languages

Added full list of highlight.js languages (to be cut down).
Tags and highlighting

Added display of tags and highlighting from annotation.