Data extraction and mining scripts for Travis CI data