eip per-lockset not per-ma. fix #21
add student_pathos.c
Refine all-threads-wedged bug condition for pathos's test-end pattern.
add build/gen scripts for obfuscated pathos
Add EXEC= config option and hooks; improve user cr3 state machine.
edit definegen to allow for test case binary in 410user
thr_exit_exiting does not make sense.
temp workaround stupid within_function problem, issue #24
Polish for distribution to students -- modernize names of config options, turn off experimental features, etc.