Restoring gitignore, to exclude CONFIG file from now on