Initial commit of AES_CBC.cry

Known issues:
* "512" has to be hardcoded while I learn how to use Cryptol correctly
* No `AES_CBC_Encrypt` function yet.
* No padding functions yet.