reimplement semantic
Merge branch 'master' of https://github.com/dotcy/swdogen

* 'master' of https://github.com/dotcy/swdogen:
  remove unnecessary dependencies

Conflicts:
	setup.ml