Allow requests with no ports. Addresses #138.

This preserves desired default behaviour of the web API -- requests that do not explicitly specify `ports` are allocated one port -- but now when an empty array is passed, no ports are allocated.