make css highlight style configurable
use traitlet for highlight_class
Allow specification of full highlight class in CSSHTMLHeader
Merge pull request #3516 from jakevdp/configurable_highlight

make css highlight style configurable