Fix a link to the Mininet repository in the instruction

The link in a instruction was pointing to the incorrect repository.