Added binaries in progs/ and tests/ to .gitignore
Remove explicit gmp dependency (Julien Puydt's patch)
Fixed bug in form_finder recursion (array was 1 too short)
Added Mac cache files rule
Merge gitignore from both remote branches. Updated master to latest upstream