clean up Options.hs, allow setting the garbage collector via the ini file.
clean up Options.hs, allow setting the garbage collector via the ini file.

Ignore-this: 1b15e475c58107d6cd01425e74dca40c

darcs-hash:20110130022439-1a7c6-73d04b11daeb1cd8b4a3e7519099d5fd74aae94b

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc