Get and set players' oldDevCards and newDevCards.