Add daetk

It is not enabled by default as it currently does not build.