[PATCH] Print nice names for nitrox mixes in the divelist

[Robert C. Helling]

> Am 16.08.2014 um 18:08 schrieb Linus Torvalds <torvalds at linux-foundation.org>:
> 
> THAT is much more confusing and subtle than "32" vs "EAN32".

Let me suggest "32%" as a compromise. That should be clearer than a bare number. And for trimix I would keep 18/50 without percent. For a range it would be 28..35%. 

Best
Robert