Added the new StringSolver and its test suite, to solve string equations with the right member being a constant.