Remove eigen-git-mirror dependency

[lakshmipathyarjun6]

For your consideration: this mirror is apparently deprecated and slotted for deletion (though I have no idea when or even if that will happen)

Proposed solution: build off any system-wide available eigen package