More documentation updates.

* the Makefile itself is still untested, but XCVB now produces a Makefile that looks like it's work!
* support for building initial image from driver
* update to portablish pathnames
* update asdf frontend
* update mock test case
* debug command-line-arguments packaging
* small documentation update
* remove obsolete files extensions and traverse
* add trivial logging infrastructure
* change the way images are computed -- we can't allow name override anymore since the "name"
  serves as a pattern for how to compute the stuff.

The static backend thingie now compiles and runs to completion. Woot.
Will have to actually make sure its output graph is meaningful,
then write a specific backend to output the graph into Makefile statements.

* Debugged name resolution.
* Debugged fullname inheritance.
* Debugged static backend calls.

At long last, there's the kernel of something that might work.

* depends-on slots need be initialized before the :after method kicks in.
* can't provide :fullname in parse-module-declaration, or gonna conflict with the specified one.
* detect registry conflicts when trying to resolve names
* stop pretending that packages can isolate xcvb-test from xcvb and then having
 to export symbols (with is not maintainable), import them hackishly (which breaks),
 or have to prefix them all (which sucks). Probably xcvb-static-backends won't survive either.
* small fixes to match previous checkins.

For the working prototype, please use
	git checkout xcvb_0.11

In this commit:
* massive refactoring of internals according to the "grain" design in TODO.
* implementing search path and naming for multiple builds.
* Documentation update including slides for ILC'09.

everything depend on cfasls - this prevents the target from being
executed twice.
Made the core with build requires systems not have a phony target in
the makefile - this prevents everything from being rebuilt every time.
Added a special variable so that the option to use cfasls or not can
be set by the user.