Propose to update ~/.profile if it does not exist
Fix update of ~/.profile to source the right ~/.opam/opam-init/init.{sh,csh,zsh} or not.