Reconsider problemset names

[meisterT]

The currently supported list of names doesn't include problemset.pdf: https://github.com/DOMjudge/domjudge/blob/main/misc-tools%2Fimport-contest.in#L120

This bit us at the finals where we then had to upload things manually and uploaded the dress for one of the contests first...

[thijskh]

Should the list of allowed names not follow from one of the specs?

[meisterT]

Good point, @eldering is this specified somewhere?

[nickygerritsen]

The spec says that you should specify the filename in the JSON/YAML: https://ccs-specs.icpc.io/draft/contest_package#file-references

[meisterT]

That sounds like a very complex mechanism for something where we could just agree on a standard name.

[nickygerritsen]

I agree. I believe there is an undocumented agreement that the filename matching the property is the way to go, so that would be problemset.