Fleets of robot submarines will change oceanography. SAILING the seven seas is old hat. The latest trick is to glide them. Sea gliders are small unmanned vessels which are now cruising the briny by the hundred. They use a minuscule amount of power, so they can stay out for months....