adds Travis-CI badge