Add custom PPA to get latest Eigen for Travis