Correcting Travis CI URL.
Adding coverage pin.