Fixed a go vet problem about named fields.

This fixes the test code to use the proper named fields when setting up a
testing/quick.Config structure.
Changed the front-end code to use fmt.

This commit replaces the glog output of helios_verify and helios_audit with fmt
so that a user will always get some output from running the commands. This
output will say whether or not the command worked and what the output was from
the ballot or the election.
Added more printf info to helios_verify for long downloads