added a button for exporting the players ratings as a ranking & did some listener-coding