Release 10.1.1
Remove Debian packaging from master