add Cryptol workshop slides

Thanks again for inviting us! We had a blast.