Fix/gtsam eigen

Use the patched eigen-version for now.