Fix argument handling for HMC
Fix corner case when calculating number of digits in summary
CI: Build with --quiet on to avoid exceeding travis ci's log limit