Update install_script.sh

Change opamocsigen url