Increase minimum coverage requirement.

Also get Travis to run integration tests.