Create a mock-up example with Sollya

• Create a polynomial approximation of exp(x) without domain splitting with Sollya
• Record information in a HOL4 certificate that we can use as mock-up example for our pipeline

Pick inputs as simple as possible to not have too many obstacles in the way.