change debian source format to native
Merge branch 'pvs/include-restructure' of github.com:pippijn/aldor into pvs/include-restructure