Revert to original travis badge link for PR. [ci skip]