#150 mzid output from tide-search is very slow

[William S Noble]

Running tide-search with mzid-output=T is very slow.

To see an example, try the runall script in crux-projects/2010tinkering/results/2014-05-28mzid. If you leave off the "--mzid-output T" from the command line, then the indexing step takes ~150 s. With mzid output turned on, it takes more than an hour. I thought perhaps it was a memory issue, but the memory usage is at 617M and only gradually increasing.