ignore: remove no longer relevant gitignore files