Alias develop-4 to 4.0.x

That way people can ask for `4.0.*` and get the dev version without using branches as version constraints which is a bad practice.