add a link to ltl2dstar's format
remove some duplicate "Start: 0", and show Start: just after States: