Move repo address

It seems like the project has been renamed, but the path has not been updated. See the link: https://git.cs.lth.se/mo5854ri/deros/

If one wants to get rid of deros than the project can be moved in the repository settings.