adjust README to account for what we have already accomplished!
adjust README to account for what we have already accomplished!

JonPRL/sml-red-jonprl,ak3n/redprl,ak3n/sml-red-jonprl,jozefg/sml-red-jonprl,RedPRL/sml-redprl