Let git ignore src, as we may have development checkouts.