Better config for travis, config for coverage