Gitignore more stuff

This pull request adds more stuff to the .gitignore file. Basically, we now ignore all the artifacts generated by `autoreconf -i`, by `./configure` and by `make [check]`.