- Implement support for "ports" - Update Nixpkgs to use Genode 20.02 - Remove packaging of forked Genode
This fixes the test count in test logs.