Definitely (I hope...) remove build.ml from generated files.
Set up .gitignore correctly for this branch.

Conflicts:

	.gitignore
Add code for XVI SDS.
Ignore .depend.ocaml
Re-set up .gitignore.

Conflicts:

	.gitignore
XII WDS (first schetch).
Hope that .gitignore is OK now\!
XII WDS (first schetch).
XII WDS (first schetch).
Dirty commit.
Introduce XIV WDS.
Correct generation of file...
Announce XIV WDS in front page.

Conflicts:

	src/html/index.html
Correct typos.

Conflicts:

	src/html/index.html
Make link to diffiety.org and state direction and organization.

Conflicts:

	src/html/schools/w14.html