Store IDs as integer in JSON export

Felix Blankerequested to merge
feature/ids-as-int into main

This change accompanies pull request 16 in the KoMa-solver repo. The datatype of IDs in the JSON export is changed from string to int.

Merge request reports