travis CI definition file.