Updating Travis-CI configuration