added special underscore treatment and some documentation for the Coq parser
change sub1 plot to use points instead of a histogram
improve spacing around inline code figures