* docker: support group allocated ports * docker: add new ports driver config to specify which group ports are mapped * docker: update port mapping docs