Remove obsolete files; update .gitignore