Simplified default launch controls

Instead of 'double-jumping', the player need only hold down the 'jump' button
for a short time.