A Position Paper on the Automatic Generation of Machine Learning Leaderboards