Travis-CI build configuration and badge