tools/done-todo.pl: Utility to uncheck check boxes in an Org file