telemini-v3.0: make git ignore build products