AUTO: a program for the automatic bifurcation analysis of autonomous systems