added mana check and deduction when playing a card (also untested)
;--
decoupled Player from JOptionPane
added tests for player input on mocked UI
code formatted, imports organized, casts fixed