Improve git lecture

I added various minor improvements (easiest to review on a per-commit-base).

This closes #10 (closed)