Analysis of the Hodge Laplacian on the Heisenberg group