add/remove card ids without restarting checkcard.pl