.gitignore: add /libtool