Debian

debian packaging updates -- probably can still use a bit of cleanup, but it's in decent shape now.