Add exit
Add --shift option to clingcon solver by default
Remove support of multiple input files
Version 2.26
Change help option