Enable FlatSearch on MathHub

[kohlhase]

FlatSearch (MWS after flattening an MMT Theory graph) is the most natural form of search for MathHub. We should re-activate Mihnea's old code (described in http://kwarc.info/kohlhase/papers/mir12.pdf) and activate it on MathHub.

[kohlhase]

This is something that would far enhance the reach of MWS on MathHub and make it more useful. I will write about this in the Future work in the MWS@MathHub paper.

[tkw1536]

Running the flat harvester should be possible but it's not clear to me if it should replace the MathWebSearch interface or be a second mode.

[kohlhase]

should replace the MathWebSearch interface or be a second mode.

second mode of the interface?