pro-Heisenberg modules and real multiplication