Modified demand for knitro example
Added selflet shutdown with exit
Merge branch 'master' of https://github.com/nicola-calcavecchia/selflet