Use the minieigen ↔ yade.minieigenHP redirection when necessary.

This commit is fully described in the docs.

It adds a minieigen ↔ yade.minieigenHP redirection which recognizes if a system-wide minieigen package can be used (if double type is used) or if a high-precision minieigenHP is necessary.