added: download and build eigen3 from git if not found on system