This removes some stuff from the developer's manual (was: "wrs-build")
and adds it to the user's manual.  The stuff is still far from being
perfect, but at least it makes sense and can be made better for release 5.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>