Update UHDM to pick up the latest no-flush changes.
Update UHDM to pick up the latest no-flush changes.

Not flushing the output stream significantly improves peformance
of uhdm-dump.

Signed-off-by: Henner Zeller <259ad50fabbfd39355f36ecd6c0afca541ea66ef@acm.org>

chipsalliance/Surelog,chipsalliance/Surelog,chipsalliance/Surelog,chipsalliance/Surelog,alainmarcel/Surelog,alainmarcel/Surelog,alainmarcel/Surelog,alainmarcel/Surelog