30jul20:
wget https://gitlab.com/libeigen/eigen/-/archive/3.3.7/eigen-3.3.7.zip
-> ../upstream
unzip
mv eigen-3.3.7/Eigen .
zip -r eigen3.3.7.zip Eigen doc
