Added information about the HaTeX version haskintex was compiled with.
Added information about the new flags -memo and -memoclean.