software/theia: Wait for proxy restart in import

Resiliency import script had a race condition where the proxy might not have finished restarting before formatting the partitions, causing the import script to randomly fail during format because the proxy is down when format tries to send it updated computer information.