Allow build without pkgstrip
And attempt to disable pkgstrip was done in !392 (closed). However, in the general case, it should still be run. It would be helpful to have a variable to disallow it for certain builds.
There are two options:
- Pass the variable down to the builder (this is annoying, as requires support at build time)
- Try if adding "NO_PKG_MANGLE := true" as the second line of debian/rules work. Then "we could automate that on helpers/config" (quidam)