Docker image generation for Xilinx Petalinux Tools

Status of work on running Kubernetes on RISC-V

Dockerfile to build a Docker image, which can run Vivado from a Docker container.