desktop+: extensions to Emacs' standard desktop library