modify .gitignore to exclude *~ and doc/