Update to ddox 0.9.20.

There was a missing file in DDOX 0.9.19.
Merge pull request #130 from s-ludwig/master

[trivial] Update to ddox 0.9.20.