Get rid of the daVinci files during clean
Get rid of the daVinci files during clean

cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond