-minhc parameter not recognized

[Luis Galárraga]

Hi,

I noticed that whenever AMIE's command line contains explicitly the head coverage parameter, e.g., -minhc 0.2, this is not recognized and the default value is used instead. Fix available in #19.

Cheers,
Luis