add option to move branch

[Tom-van-Woudenberg]

See https://github.com/TUDelft-MUDE/teacher/actions/runs/13992781818 for example

This:

• allow you to move (next to copy and redirect) a branch built to the root, which prevents copying it. This shouldn't be standard behaviour but is in line with the desired behaviour for the MUDE-book
• adapt the summary so that the table with branches shows the root url for the moved branch and the message at primary book at root is adapted

[Tom-van-Woudenberg]

After this is merged:

• Delete https://github.com/TUDelft-MUDE/teacher/tree/move branch
• Merge Update manual branch with move option #78
• Merge Update deploy-book-workflow with move option manual#139

[rlanzafame]

To be honest I don't understand the reason why one would choose move over copy. Is it only to keep artifact size down and avoid duplication?

[Tom-van-Woudenberg]

To be honest I don't understand the reason why one would choose move over copy. Is it only to keep artifact size down and avoid duplication?

Yes

[rlanzafame]

See this PR #82
I did not set this up yet for PR into manual_docs