Modifications of distLeo, setup.cfg, setup.py and debian directory