Minor renaming to synchronize Cace example w/ paper.
Merge ssh://login.csail.mit.edu//afs/csail.mit.edu/group/plv/git/adt-synthesis
Removed old Beatles.v file
Merge branch 'master' of file://///afs/csail.mit.edu/group/plv/git/adt-synthesis

Conflicts:
	examples/BookstoreSemiAutomatic.v
Work on adding delete and update to bags.
Delete now proved to be consistent.
Tree Bags implemented, missing correctness proofs.
Proofs of delete and update almost done.
All data structures now implement update + delete.
Separated Bag Implementation from Correctness.
Fully pulled out proofs from Indexed Bag implementations.
Automatic Construction of Indexes.
Patched up some of the Automation; more remains.
Automation now working with important examples.
(still need to patch up ProcessScheduler).
Started the delete specifications.
Cleaned up Query Operation Specs and Refinements.
Partial Implementation of delete refinement.
Add ilist_of_list
Add non-dependent ilist mapping
Add some work in progress on parameterized rdp