added .gitignore for terminal proprietary