2020 version

I've recently had some time to work on the notes a bit.  Recent additions include a formulation of the Frobenius theorem in terms of the involution of the double tangent bundle, fixing numerous typos and expanding some examples.