Wikidata labels should be capitalized when generating the link, not in the label field itself

[fredrik-bakke]

Currently, we have concepts macros like {{#concept "circuit" Agda=circuit-Undirected-Graph WD="Cycle" WDID=Q245595}} although Wikidata themselves do not capitalize the C in Cycle. It seems to me that the appropriate approach is to use the literal same Wikidata label as Wikidata does, and instead capitalize the first letter as part of the preprocessing.