switch to https link
fetch from source
Merge pull request #5 from ethz-asl/fix/eigen_https

switch to https link