Global bifurcation of homoclinic solutions of Hamiltonian systems