Added docker build support#722

ToberoCat wants to merge 2 commits into

procount:masterprocount/pinn:masterfrom

ToberoCat:masterToberoCat/pinn:masterCopy head branch name to clipboard