make individual diagnostics selectable in luaotfload-tool.lua