Sheaves on graphs, their homological invariants, and a proof of the Hanna Neumann conjecture / Joel Friedman. With an appendix by Warren Dicks