docker/nginx: use standard port 80 in nginx's container
ne need for this 5080, no risk of collision, so keep it straight.