Maintainers:
Mike Perry (mikepery@fscked.org) - libnjamd.so
Steven Engelhardt (sengelha@uiuc.edu) - front end

Contributors:
Anthony Tong <atong@uiuc.edu> - Helped immensely in last minute EOH debugging
Todd Ostermeier <ostermer@daishar.com> - Initial pipe code between fe and gdb
Piete Brooks <Piete.Brooks@cl.cam.ac.uk> - Perl script to automate verification
