Summary
- merge from afp-2016-1
- new entry Minkowskis_Theorem
- Name_Carrying_Type_Inference: streamlined theory imports
- new entry Name_Carrying_Type_Inference
- Merged in ammerbauer/afp-2016-1 (pull request #8) Default Approved-by: Lars Hupel <lars.hupel@mytum.de>
- sitegen builds download site
- Replace optparse with argparse