Add more fine-grained syntax for reordering goals

[oskgo]

The current goal reordering syntax (last n first and first n last) only allows cyclic shifts of the original list of goals.

I ran into a case recently where a tactic produced 4 goals, of which 3 were side conditions and 2 were small but nontrivial. I would have liked to order the goals to deal with the small side conditions first, but was unable to do so without moving the main goal to an undesirable position.

[alleystoughton]

Indeed. What about allowing a permutation of goal numbers to be given?