reorganised combinatorial auction theories:
1. deleted now-misnamed nVCG_CaseChecker
2. CombinatorialAuction now holds general stuff
3. CombinatorialVickreyAuction holds stuff specific to nVCG
4. CombinatorialVickreyAuctionCode holds code generator setup for (3)