Added patch to sanitize external solver criteria.

Added patch to backport commit 4f3a7808fccad1b9dc9b3756ee0fa47c4090d1cf of dose upstream onto the version used by opam.
Includes change from pcre to re