Only do multithread compilation of submissions actually used by -s#386

gkreitz merged 2 commits intoKattis:masterKattis/problemtools:masterfrom

Matistjati:only-compile-used-submissionsMatistjati/problemtools:only-compile-used-submissionsCopy head branch name to clipboard