make.bat should offer docker build modes

[marstr]

At time of writing, make.bat only productes cross-compiled binaries. If you want to actually play around with something distro-specific (working with the packaging, for example.) You'd have to manually build the docker images.