automatizing creation of agora-verifier
adding first compiled version of the verifier