dasm/gui: save plugins/bookmarks in user session
dasm/gui: save plugins/bookmarks in user session

steeve85/metasm,exported/metasm,pombreda/metasm,jimokkerse/metasm,davidechiappetta/metasm,rootml/metasm