How to set up Vivado in a Docker container (Arch Linux host)