Track which submissions claimed a given result

Currently in the summary download we only give the best known claims and plans. But we do not list which submissions (algorithms!) made a specific claim. This extra information is partly shown in the detailed (instance-level) data of the website, but is missing from the results download csv.