Making doctest tags not show up in html