[PATCH] .gitignore: add files produced by b4