Little tool to count the number of TODO-s that are
left to do.
Authored by: gumpu 2003-02-04
Parent: [r106]
Child: [r108]
