deramp
======
Removes all ramps designated for removal from the map. This is useful for
replicating the old channel digging designation.  It also removes any and
all 'down ramps' that can remain after a cave-in (you don't have to designate
anything for that to happen).
