Replace jrl-mal by eigen library