Build Eigen3 on RHEL5

This package does not build the documentation as part of the -devel packages (because we don't need it to build on servers, and because we don't have the prerequisites to do so properly anyway)