Release 10.1.2
Remove Debian packaging from master