Updated install.sh (location of manifolds-0.5.tar.gz set to http://sagemanifolds.obspm.fr)