Vagrant and Docker files to build the infrastructure of the digital Siku quanshu project