Summary
- merged from afp-2016-1
- add `six` to sitegen requirements
- quiet installation with pip
- Optics: factor out example so proof document remains undisturbed
- add Optics to ROOTS
- Optics: uncomment example use of alphabet command so that it is tested
- new entry Optics
- New entry Security_Protocol_Refinement