Misc fixes.

- Fix spot-check-history.
- Further fix output of spot-check-history and display-types;
  cl-format doesn't flush *out*.
- Clean up shell_test. It was broken with JAVA_HOMEs like
  "/usr/lib/jvm/java-6-sun/jre".