get latest docker images

spacecruft-ctsi-machine-emulator-sdk-build

@@ -12,7 +12,13 @@ set -x
 sudo apt-get update
 sudo apt-get install -y build-essential automake libtool patchelf wget git libreadline-dev libboost-container-dev libboost-program-options-dev libboost-serialization-dev ca-certificates
 
+sudo docker pull cartesi/linux-kernel
+sudo docker pull cartesi/toolchain
+sudo docker pull cartesi/rootfs
+
 cd ~/devel/machine-emulator-sdk
+git reset --hard HEAD
+git checkout master
 git pull
 date
 time \