Update README files

A lot of the structure has changed significantly since the README and
TODO files were last maintained, so brought them up to date with the
current status, and the current aims.