Initial version of the CarneadesIntoDung package

Initial version of the CarneadesIntoDung package.