fix 'make dist'
added: debian packaging control files
make the debian packaging scripts work

also fix the install locations which were not adapted during the
recent Box -> VCFV reorganization.