.gitignore for third-party library copies... just in case!