Remove some stuff; .gitignore.