Convert workerDirector.js to workerDirector.ts#1258

PhilippWendler merged 7 commits intotypescript-migration/typescript-full-migrationsosy-lab/benchexec:typescript-migration/typescript-full-migrationfrom

typescript-migration/migration/workers-foldersosy-lab/benchexec:typescript-migration/migration/workers-folderCopy head branch name to clipboard