Coveralls configuration.
Even moar badges!
Removed `dev` from Travis-CI.