Minor changes to the "trophy" command

As per Nimmeth's suggestions, the "trophy" command is now much more complicated
(and slightly more versatile).

See "trophy ??" and "help trophy" for more detailed information.

In summary, you can now sort and filter the output in various (new) ways.

- Dáin