added a note about Eigen

I don't think we should upload Eigen to github, so I added a reminder how to get it.