Fixing debian/control and updating docs