First version of notes for class on Dec 13th

To be done:
* Most of the proofs
* Notes on reflexive polytopes