Web frontend for MathWebSearch, rewritten version.