adding eigen-3.1.2 to contrib