Travis-CI badge changed to develop