Full repository transfer

New endpoints and frontend changes for transferring all records from one repository to another.

Also reintroduces the "Delete repository" function, which (now) only works on otherwise empty repositories.