Biggest change here is:
* HTMLExporter.javascript_highlight is now HTMLExporter.preprocess_highlight and has the opposite meaning:
 - the former : should I use javascript to highlight? (default: False)
 - the later : should I preprocess markdown to highlight code blocks? (default: True)

Some help strings improvements and inline comments.