contrib: add missing .a files that have been ignored by .gitignore for something like forever, and fix .gitignore so that this doesn't happen again.