git: ignore more build directories