Save user's preferences

This could be used for :

• save selection across devices #427 (closed)
• MX ranking parameters : prefrered statistics+shell, prefrered pipelines
• logbook filters
• remember recently visited