Add some obsolete PROTEUS directories to .gitignore