xenserver: Rewrite refresh-network-uuids script for decent performance.