add build/.gitignore to work around the unfortunate fact that git ignores empty direc...