Update debian packaging for version 10.1
Remove Debian packaging from master