remove obsolete .gitignore files

src/plugins/alias/.gitignore

src/plugins/aorai/.gitignore

src/plugins/dive/.gitignore

src/plugins/e-acsl/.gitignore

src/plugins/instantiate/.gitignore

src/plugins/loop_analysis/.gitignore

src/plugins/markdown-report/.gitignore

src/plugins/nonterm/.gitignore

src/plugins/obfuscator/.gitignore

src/plugins/report/.gitignore

src/plugins/security_slicing/.gitignore

src/plugins/server/.gitignore

src/plugins/studia/.gitignore

src/plugins/variadic/.gitignore

src/plugins/wp/.gitignore