Adds Travis-CI badge