Fixed a problem that manual mana payment was sometimes hard because the mana labels covered the mana buttons.
Added F5 button to skip priority until end step of opponent. Added PlayerAction handling.