Use --helper-package-version for version_pinning

Use the configure mechanism to create the correct version_pinning.pref
file. Do not keep a local copy of the file under debian directory.