Updating/revising readmes. Took some stuff from the c-semantics googlecode page.