313usually

[Dockerfile] Eigen repository moved

1

Eigen moved their repository from Bitbucket to Gitlab recently ([the announcement](http://eigen.tuxfamily.org/index.php?title=News:Eigen_is_now_on_GitLab.com)). So 69-74 lines of the Dockerfile need to be updated like this: ``` RUN curl -LO https://gitlab.com/libeigen/eigen/-/archive/3.3.4/eigen-3.3.4.tar.gz && \...