core: add a reverse method to Ordering.

This flips the comparison and is designed to be used when sorting etc.
auto merge of #16155 : huonw/rust/Ordering-reverse, r=alexcrichton

This flips the comparison and is designed to be used when sorting etc.