Add Baklava in Granule

[rzuckerm]

Congrats on taking the first step to contributing to the Sample Programs repository maintained by The Renegade Coder!
For simplicity, please make sure that your pull request includes one and only one contribution.

Please fill one of the sections below as applicable.
Please also add any other relevant information to the Notes section at the bottom.
You may delete or just ignore any other sections.
For more information please refer to our contributing documentation

I Am Adding a New Code Snippet in an Existing Language

• I fixed Add Baklava in Granule #4183
• I named the pull request using Add {PROJECT} in {LANGUAGE} format

Other Notes

I had to update the docker image since it did not have all the necessary library files and the z3 package that is required by the Granule runtime.