Add why3 hello_proof