Add Control.Strategy.Utils
Add missing projection for Receipts
Split IND-CCA2-dagger in multiple files
Split ReceiptFreeness-CCA2d simulator into multiple files