Remove promela support
Fix the global gitignore not being set in the global gitconfig