[Tei-council] Update on Docker and Travis