Added binaries in progs/ and tests/ to .gitignore
Remove explicit gmp dependency (Julien Puydt's patch)