Version 5.8

Bug fix for version 5.7.

The graphical format preference for "RTF copy/pastes" was not saved correctly.

(bug http://jsesh.qenherkhopeshef.org/fr/node/2689)