Migrate linux-tools; non-chroot src pkg config; tarball sharing

- Migrate linux-tools package
- Select whether source pkg config is done in chroot or not
- Tarballs can be shared between packages
- Sort out linux package names
  - FIXME:  this may break with multiple arches
- Fix PPA listing rules (and remove cruft)
Updates in kernel-rt-deb module

Work on getting RTAI tarball included as second source tarball