Move the proof that the cotangent bundle is symplectic to an
appendix. We don't actually need it for our exposition but it would be
a shame to lose all the hard work.