Changed cardFileMod to print the number of cards and added lots of cards to redCards.json.