mu: extract mu to its own repository.