Update Travis.

Test against 4.0.0, allow failures on 4-0-stable.
Ignore coveralls generated files.