- do_vc: added a --file <filename> option

Can be used to read changes from <filename>.