Patch contributed by christian@evopedia.info, to improve performance of
title searching in the dump
So far, we were reading the title file till its end. In fact, we only
need a very small part of it. This should really reduce I/O and memory
consumption while searching for titles
Implement math images loaded from dump, contributed by
christian@evopedia.info