Proxy uses SCION's handle_signals() for signal handling. (#908)
Proxy uses SCION's handle_signals() for signal handling. (#908)

This way proxy can handle not only SIGINT, but also others such
as SIGTERM, SIGHUP etc.
klausman/scion,klausman/scion,FR4NK-W/osourced-scion,Oncilla/scion,FR4NK-W/osourced-scion,FR4NK-W/osourced-scion,FR4NK-W/osourced-scion,klausman/scion,FR4NK-W/osourced-scion,Oncilla/scion,dmpiergiacomo/scion,Oncilla/scion,dmpiergiacomo/scion,netsec-ethz/scion,dmpiergiacomo/scion,Oncilla/scion,dmpiergiacomo/scion,klausman/scion,netsec-ethz/scion,netsec-ethz/scion,netsec-ethz/scion,klausman/scion,dmpiergiacomo/scion,dmpiergiacomo/scion