Gaffney–Friedrichs inequality for differential forms on Heisenberg groups