Add 00.config_inst.txt to .gitignore