Resolve "add ubuntu20.04, debian10 as supported OS, drop ubuntu16.04, debian9" Closes #21 See merge request !23