Travis-ci file updated