Updated travis CI configuration