Dummy commit
Update to Eigen 3.1.3 (no effect on our code)
More Eigen files. Closes #339.