Add config.aux/ar-lib to .gitignore