Added Bits of Proof to open source projects