CVS utilities which facilitate working with local working directories