Extracts header titles and ids out of an html file and converts them to a table of contents in markdown.