* src/xtc/parse-detboxedsdf.str,
	* src/xtc/det-gen.str,
	* src/syn/DetBoxedSdf.sdf,
	* src/detgen/detgen.str:
	Add comment headers.

	* src/det2sdf/det2sdf.str: New.
	* src/det2sdf/Makefile.am: New.

	* src/xtc/pp-detboxedsdf.str: New.
	* src/pp/DetBoxedSdf-pretty.pp: New.
	* src/pp/Makefile.am: New.

	* configure.ac,
	* src/Makefile.am: Add new directories.

	* src/xtc/Makefile.am: Add new program.