GSoC 2013: Removing MooTools dependencies from highlighter.js. Fix #2005