Tweaking travis config so coverage is executed once.