Collection of smart contracts for the Gnosis prediction market platform