Make proper debian packages

It's ideal to make proper debian package if you can, and it makes no
sense to install files under /usr/local if you are actually using
packages, and it makes no sense to manually install files if you are as
well using packages.

Change-Id: I1943762bc1c437843e8cf6e5d0f5b795d21e4245