Process icount options from command line and config file uniformly.

The icount option may be passed via the "-icount" command line switch,
or via the "[icount]" section in config file.

We add a configure_icount() call to process both cases uniformly.