Add virtual destructor to SolverInterface
Rename
Merge branch 'hotfix/20140127'