UVa's pilot implementation of Avalon.  All local modifcations are on the uva-pilot branch.