More documentation: running EyeQ on Mininet.