docker: add debian Ports base image