clone webtools directly into $GEMSTONE/product/examples