Add some notes on Coxeter's projective geometry
Add some initial notes from hartshorne