MISC: remove lib/ from .gitignore, for the time being.