Doc: update links to formal-land

Updates links as the repository was moved to the GitLabs' formal-land organization (previously it was on nomadic-labs).