hhvm: make source installation update whenever package is updated

Provision a simple helper script, 'install-pkg-src', that installs the source
of an installed Debian package into /usr/local/src.

Change-Id: Ifd6ac352ce062eb667f1b857e5011e4241585bd6
Merge "hhvm: make source installation update whenever package is updated" into production