dockerfile for catmandu, cf. #59