JJP: removed gabort
JJP: adding local .gitignore