add Cryptol workshop slides
Merge pull request #34 from acfoltzer/cryptol-workshop

add Cryptol workshop slides