New version of CarneadesDSL package.

Committed current version of complete CarneadesDSL package.
This is an update from the 1.1.0.1 package on Hackage.

Changes:

1.1.0.1 => 1.2
=============
This package version is now compatible with
the translation package CarneadesIntoDung.

* Change the use of proof standards to rely on the definition of
|PSName|
  to allow for an easier translation.

* Fix the definition of
applicability to include all three conditions.