std/basic:
 - add a book with a few common induction schemes

std/lists:
 - a few new lemmas, mostly list-equiv enhancements

Update issue 67

Small step toward unifying STD/COI versions of osets:

 - Rename std/osets package from SETS to SET, for better compatibility between
   std/osets and the coi/osets fork.

 - Change COI osets package files to use STD osets package files.

 - Change a couple of COI/osets books to merely include equivalent files from
   std/osets.

This doesn't resolve everything, but at least gets the package difference
resolved so that we can start ironing out the lemmas.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2546 303c5b2c-9740-0410-b014-fd8f9db7be32