Import and export of sessions as proposed in issue #460
Using json to store and retrieve session data.
Merge pull request #466 from PeterBjuhr/musicxml

[MusicXML Import] Adding option in import dialog. Fix issue #464
Merge pull request #465 from PeterBjuhr/sessions

Import and export of sessions as proposed in issue #460
use python idiom
Glissando