Windpiper, a former mining vessel, is being converted by Boskalis into the world’s largest rock-dumping vessel.