Moved -dumplem and -dumptex flags from top.ml to herd.ml. This fixes a longstanding issue whereby it was necessary to provide a litmus file to Herd even if one just wanted to dump Lem or LaTeX code from a given .cat file. Now one can simply type things like "./herd -model opencl.cat -dumptex".