Add/fix type annotations in languages.py (and fix outdated README example for language config) - #460

Add/fix type annotations in languages.py (and fix outdated README example for language config)#460

pehrsoderman merged 3 commits into

Kattis:masterKattis/problemtools:masterfrom

gkreitz:type_annotations_and_cleanupgkreitz/problemtools:type_annotations_and_cleanupCopy head branch name to clipboard