Allow changing order of open document tabs

Allows a user to reorder open document tabs; closes #407 .