#4404: added deb building scripts
Merge branch '4404_debian_packaging' into devel