Create MathHub TeMa search UI.
Fixed gitignore.
Merge branch 'master-mathhub'