Remove --verbose flag from coveralls call

It produces masses of output that the travis web interface has
difficulty handling.