[jhc] darcs patch: clean up Options.hs, allow setting the g... (and 1 more)

Sat Jan 29 18:24:39 PST 2011 John Meacham * clean up Options.hs, allow setting the garbage collector via the ini file. Sat Jan 29 19:06:43 PST 2011 John Meacham * cleanup