automatically compute recursive subdirs
add failing typechecking tests
add wiki to website
hack obuild testsuite script to include execution trace