a docker wrapper around the dita toolkit