added script to re-create card_names.pik from wikia's mediawiki api