Added mpfr docs, and updated the NTL usage docs. Updated bindings tests to run automatically when the appropriate libraries are present.