Update mininet_integration.md

Motivated by #167.