A helper for keeping track of things that darcs doesn't track