Rewritten the developer manual. This involved writing a

more comprehensible quick intro to the code.  In addition I have added
an extract script much like the one we use for the developer
manual so that we can make lists of the various re-usable tools
that people implement in the code.