make a copy of the openssl source in preparation for modifications to drive the kernel crypto subsystem
kernel-crypto AES ECB can now be driven by the openssl test harness
Merge branch 'master' of github:GaloisInc/hacrypto