Enhance Travis-CI configuration file