Added the congruence library readme and updated top-level readme.