src/doc/packaging.md: short guide on packaging
src/doc/repository.md: guide on deb-repository creation