Update to Genode 20.05
Build more packages using upstream build system - Implement support for "ports" - Update Nixpkgs to use Genode 20.02 - Remove packaging of forked Genode