bool: implement Ord and TotalOrd
auto merge of #5845 : thestinger/rust/bool, r=catamorphism

This is mostly just to make deriving more convenient, which is probably why Haskell does this too.