"rename" dl.jami.net root directories (do not brake old names)
- dl.jami.net/ring-nightly => dl.jami.net/nightly
- dl.jami.net/ring-internal => dl.jami.net/internal
- dl.jami.net/ring => dl.jami.net/stable
- dl.jami.net/ring-release => dl.jami.net/release
manual-*does not require to be renamed but if it is easy to do then we can do it.
First do the changes for
PS: This was initially #3 but it become just the debian repo rename.