Added dctrl-tools to debian packaging