Release process

• Update CHANGES.md with everything interesting since the last update.
• Push the commit and the tags to master ()
  Pushing the tag triggers the update process which can be monitored at http://highlightjs.org/api/release/

When something didn’t work and it’s fixable in code (version numbers mismatch, last minute patches, etc), simply make another release incrementing the third (revision) part of the version number.