specmicp: Add a fixed saturation equation
Add a new constraint to the system. The saturation can be fixed. It will be useful to compute ReactMiCP initial conditions for exmaple.