Sort decklists by types for players

As discussed in chat, let's have two different sorting modes:

• By Mana value for judges & TOs, who are more interested in fast deck checks.
• By type line for players, who might be more interested in strategy concerns.