GUI:
* Crosshair color inversion made clearer by graying the 'Cross-hair color'
button when 'Cross-hair color inverted' checkbox is checked.
* Changed some keyboard accelerators.
UI:
* A better presentation for tables : added two new presentation items.
BRAILLE:
* Added suport for some more braille devices.
MAGNIFIER:
* Changed required version of gnome-mag to 0.11.0.
