I get the database migration for Poker Club Tools working by the end of the day

Created by Adam Zerner on 2020-07-28; known on 2020-07-29; judged right by Adam Zerner on 2020-07-28.