git-update-ref: add --no-deref option for overwriting/detaching ref