.gitignore: Add versioned .so files.