Updated terminate_connection() so you can choose if DEL_HOSTs should be
[tinc] / debian / dirs
1 etc/tinc
2 etc/tinc/example