Move HTML math extraction to libxml2 HTML parser.

Summary:
 - add automatic HTML and XHTML parsing in harvester
 - move xhtml2harvests to docs2harvest

closes #10.

Test Plan: ./bin/docs2harvest test/data/*html

Reviewers: radu.hambasan, dhasegan

Differential Revision: http://phab.code4fun.de/D52