Updated Kalman Filter notes to put lots of stuff in the appendix