updated Travis-CI configuration