MISC: remove lib/ from .gitignore.