apt-find-proxy, a tool to use an APT proxy only if it exists