Update .gitignore to ignore dumfile download directory

Also, the directory src/local/ is now ignored, so you can put
local experimental code there.