done-todo.pl: Takes file as arg