add travis CI support to dist.ini