cli/main.py: in main(), allow caller to configure default hdistconfig