allows for selective compiling the python neuroproof library; results match old neuroproof raveler except presumably for some instability in the ordering; analyzed bodies no longer written out and not useful; fixes location update in new neuroproof; adds another example priority script with 719 big body merges and 1288 synapse merges