Changing Travis URLs, adding coveralls