Updated for revised git processes.

- Use `git commit -a -m` rather than `git add; git commit -m` as our
  standard git process.

- Add `git log` statements after checkins to help students get
  used to reading git's logs.