This commit introduces a new key, `health-check.whitelisted-chars` for
repo.toml. It allows TAs to configure repo-wide allowed non ASCII chars
for the repo-health-checker binary. It results in a new command line
switch, `-whitelisted-chars=X,Y,Z`, in the generated task.json.