add dist.ini info for travis-ci