Fix eliminateRedundant not to crash if the constraints are not redundant.
Expose eliminateRedundant to the namespace.
Add eliminateRedundant man
Update docs, DESCRIPTION, NEWS
Convert all C code to .Call interface

 - due to 'dup=FALSE' being deprecated in .C interface