Dysco 1.3

Dysco v1.3 is a very minor change compared to v1.2. Because casacore includes Dysco nowadays, this repository is mostly for situations where a recent version of casacore is not available.