vagrant: Update box name

I renamed the vagrant box used for development to freedombox-testing-dev.

I thought maybe it would redirect from the old name, but that did not happen, so this broke the script.

Signed-off-by: James Valleroy jvalleroy@mailbox.org