Updated travis config (travis is now disabled, though)