add Jasmin dependencies to build docker

Author: fdupress

scripts/docker/Dockerfile.build

@@ -4,6 +4,7 @@ FROM ./Dockerfile.base as base-build
 
 RUN \
 	sudo apt-get -q -y install wget curl python3 python3-pip python3-yaml && \
+  sudo apt-get -q -y install libmpfr-dev libppl-dev && \
 	sudo apt-get -q -y clean
 
 RUN \