Modify the harvester for the 3.0 harvest format

Summary:
Added a data_id attribute to each math expr which points to the id of the
document the expr belongs to.

Test Plan: already tested

Reviewers: cprodescu

Reviewed By: cprodescu

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