It is a great feature 
@lorentzo I believe you can install it in the docker image yourself by adding: libomp-dev into an apt.txt file and uploading it in your zip submission. (@jyotish correct me if I’m wrong please 
)
We will look at installing it globally as well.
For more on how to install apt packages see this thread.