Misc changes to support python3 and a newer version of leaderboards that is python3 compatible.