Hybrid Monte Carlo algorithm for the double exchange model