debci-setup: properly set debci_base_dir
debci-setup: handle potentially empty http_proxy