threading/timeout code working on Windows; refactor of gtest-marty.cpp
into many smaller new files (assertions, autogradertest,
testresultprinter, unittestdetails)