Raised version number to 1.5.8 in DEBIAN/control