Docker build fail due to CoSA (CoreIR) build error

[Bo-Yuan-Huang]

Describe the bug ILAng docker image build fails during CI check while building CoSA.

To Reproduce Steps to reproduce the behavior:

1. cd /path/to/CoSA
2. pip3 install -e .
3. ERROR: Failed building wheel for gmpy2

Environment (please complete the following information):

• OS: Ubuntu 18.04
• Compiler gcc 7.3.0
• Other dependencies N/A

Additional context

• Current DockerFile build the CoSA in branch dev. This may be something worth checking.
• Instead of building a Docker image using the latest CoSA version, a stable release is perhaps preferred.

[Bo-Yuan-Huang]

https://github.com/cristian-mattarei/CoSA

[Bo-Yuan-Huang]

In file included from src/gmpy2.c:426:0:
src/gmpy.h:106:12: fatal error: gmp.h: No such file or directory
#  include "gmp.h" 
           ^~~~~~~ 
compilation terminated. 
error: command 'x86_64-linux-gnu-gcc' failed with exit status 1 
---------------------------------------- 
Failed building wheel for gmpy2  
Running setup.py clean for gmpy2