Proposed encryption patch

[kithrup]

I've done some minimal testing. I'm not sure I have the right order for compression and encryption in the pipeline.
z3-diffs.txt

[rciorba]

Thanks for sending this in!
Would you be willing to make a pull request with your changes instead? That would make reviewing the code easier, and leverage our regular tooling (like running the tests on Travis-CI).

[kithrup]

I’m a bit of a novice with github; I couldn’t push my branch to it, so I’m not sure how I would make a pull request. I’ll be happy to if you tell me what I’m supposed to do :). Thanks, Sean.

…

On Jun 6, 2017, at 5:06 AM, Radu Ciorba ***@***.***> wrote: Thanks for sending this in! Would you be willing to make a pull request with your changes instead? That would make reviewing the code easier, and leverage our regular tooling (like running the tests on Travis-CI). — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.

[kithrup]

There! PR#17. Thanks!