remove proxy_sup.erl; add equ.erl; add timeout for proxy processes