Changed mininet_client.py to output only named pipe filenames (under normal operation) so mininet_driver.js can read them