Re: [Tei-council] Update on Docker and Travis