Documentation

This isn't code! I stopped coding, for real!

Professor Myers was wondering if we could extend this tool to run tests on Java programs, and that question made me realize the less-documented quirks of working with `pa_ounit` and `qcheck`. So I record those details here.