upgrade the Vagrantfile to use the docker provisioner
add the c_check folder to try to compile and run unit tests with c_check