It now kompiles... modulo a few elisions.

- Removed dynamic-c-configuration.k, renamed common-c-configuration.k to
  c-configuration.k.
- Various other little things.