Ignore build directory

Just noticed @att14's comments a month ago. We should use his ignore build directory commit. Just in case the pull request actually gets merged at some point.