Adding files needed for Debian packaging
Adjusting files in instal/debian and instal/linux
Adjusting settings for Debian package
Putting all instal/linux/... files on "debian"
Moving back some files to instal/linux
Rearranging linux files
Splitting Debian dist into two packages: jclic and jclic-reports