Add agignore so that build/ directories get ignored in search even if they're not gitignored
Add agignore so that build/ directories get ignored in search even if they're not gitignored

paulfioravanti/dotfiles,paulfioravanti/dotfiles,paulfioravanti/dotfiles