IMP: make timestamps and batch labels selectable In the list of stagings for a branch, the timestamps and batch labels were not selectable, which was inconvenent for cross-referencing and copy/pasting. They should now be selectable.