wmltools GUI: remove -f and -p wmllint options, add -m