Add script install-globaleaks.sh
Merge branch 'devel'