add ubuntu20.04 debian10 as supported OS, drop ubuntu16.04 debian9

Edited by Fabien Combernous