Merge pull request #20 from francois-keith/master

Simplifications and small improvements of install-sot