updated .gitignore (see prev commit)
synchronizing stuff