properly finishing refactoring the old MathSearch Backend code to accept DBFile parameters
Merge branch 'master' of https://github.com/dginev/CorTeX