Installing why3 IDE for verifying sample Ethereum contract (Ubuntu 14.04)