auto: Improvements to make check

r? @nikomatsakis The third commit here is the one that makes the test suite remember which steps have completed successfully.