almost ready to invoke verify_single_proof.py

BUT: must either

     * update verify_single_proof to accept DER
     or
     * update this proggie to save leaf in PEM format