Add a script to install eigen from sources.