JDEE User's Guide moved to texi.

Some parts specific for JDEE development has been moved to JDEE
Developer's Guide.