#206 (May 26, 2016, 3:41:08 PM)

1. examples and documentation for code generator time measurements (detail / hgweb)
2. optional timing for code generator conversions (detail / hgweb)
3. clarified internal interfaces (detail / hgweb)
4. tuned (detail / hgweb)
5. delegate inclusion of required dictionaries to user-space instead of half-working magic (detail / hgweb)
6. corrected closure scope of static_conv_thingol;
   clarified implementation and names (detail / hgweb)
7. clarified proof context vs. background theory (detail / hgweb)
8. explicit quasi-global context for nbe conversions -- works around quasi-global type variable handling in lift_triv_classes_conv (detail / hgweb)
9. clarified naming conventions and code for code evaluation sandwiches (detail / hgweb)
10. clarified names of variants (detail / hgweb)

Started by an SCM change