travis: coverage/coveralls interaction

most work by @barsch, thanks! replaces and closes #574.