Quite a bit of refactoring for our solvers. Also fixed an issue with solving DAE models (#188). CONDVAR wasn't passed to computeVariables(), meaning that the compilation of a DAE model might fail (if the model was to make use of CONDVAR in computeVariables()).