Developers' Guide

In the document section there is now a Guide for Developers (https://sourceforge.net/docman/display_doc.php?docid=38700&group_id=161316) which contains lots of important information about how the project is organised and the tools which we use. Anyone who wishes to contribute to the project should be familiar with everything in this document. I hope that this will make it much easier for people to become familiar with the project and to collaborate on it.