Update mininet_integration.md document

Now the installation script for LINC on Mininet creates a script
called linc_controller that starts $LINC_ROOT/scripts/of_controler_v4.sh.
The script is available in users's $PATH.