introduce a hightlightJsVersion variable in the config to control highlightjs's version. Set default to 7.5. Update copyright year (add -2013)