Simplify travis setup; Add coverage integration.