Android app that assists a game of Magic: The Gathering