Add docker plugin to debian/control.