dsh-pinned-sessions

Keeps running, finished-but-unopened and currently open sessions pinned above the workspace groups in the DSH Web sidebar, and lets any session or workspace be pinned there from its own "..." menu.