A tool for synchronizing the contents of two directories