Further tidyups to #53 fix

    Tidyups to 3722f0457a2782814455dcd8f5608c695062d05d and #53 fix
    
    * Add some comments about how the DHCP thread should background
    * Do not `choose` between listen/configure, since that causes a
      cancellation when one succeeds.