Update URL for Moscow ML.
New goalstack pretty-printing trace & rationalise goalstack trace names

New trace prints a count of the sub-goals at the end of the stack.
This saves the user from having to scroll back over the several
hundred goals they've just generated to find out the number.