update gitignore, preparing to put live tree on UCSD under version control