It was removed from Travis in c479cdd42f
c479cdd42f
GitHub ignores the contents of the tools/ directory for the purpose of repo language statistics.