Version and travis-ci badge update