Ignore library as well
Merge pull request #534 from Geod24/update-gitignore

[Trivial] Ignore library as well