Dockerfile to build a PXE server in a Docker container