[crux-commits] ports/contrib (3.6): eigen3: 3.3.9 -> 3.4.0