Travis configuration: Let Travis use the tiny profile