.gitignore: add binary files and libtool stuff