Some more documentation, debian packages.