[eigen] Eigen repo currently offline

[Rasmus Munk Larsen]

We are troubleshooting a technical issue, and the Eigen repo is currently
offline. Please keep any local modifications you have of the repo.

Rasmus