PKR hand history converter for Pokertracker and Holdem Manager