Update install_script.sh

The script now install a specific version of eliom