.gitignore: Remove old things which aren't meant to exist any more.