Let run push boulders with a prompt

[tung]

Issuing a run command in the direction of an adjacent boulder should let the player push the boulder as far as they can, perhaps with a prompt. This should make pushing boulders along the final corridor of many Sokoban levels faster.

Running started without boulder-pushing should just stop the player.