fix Travis-CI badge url (was not changed when GitHub repository was renamed