Clean up git; doc->thesis, etc.