Update Arora default bookmarks

Fixes #3198

repos/ports/ports/arora.hash

@@ -1 +1 @@
-e581232f0aa86144f56b9fce76dd9a278d767258
+e8f003dcdad6f1600c73a046f4306942a557f9bb

repos/ports/src/app/arora/patches/arora_bookmarks.patch

@@ -4,35 +4,24 @@ From: Christian Prochaska <christian.prochaska@genode-labs.com>
 
 
 ---
- src/data/defaultbookmarks.xbel |   19 +++++++++++++++++++
- 1 file changed, 19 insertions(+)
+ src/data/defaultbookmarks.xbel |    8 ++++++++
+ 1 file changed, 8 insertions(+)
 
 diff --git a/src/data/defaultbookmarks.xbel b/src/data/defaultbookmarks.xbel
-index 5869929..e31aa17 100644
+index 5869929..3bde5f1 100644
 --- a/src/data/defaultbookmarks.xbel
 +++ b/src/data/defaultbookmarks.xbel
-@@ -1,6 +1,25 @@
+@@ -1,6 +1,14 @@
  <?xml version="1.0" encoding="UTF-8"?>
  <!DOCTYPE xbel>
  <xbel version="1.0">
 +
-+    <bookmark href="http://kernel.org"> <title>Linux Kernel</title> </bookmark>
-+    <bookmark href="http://os.inf.tu-dresden.de/fiasco/prev/"> <title>L4/Fiasco Kernel</title> </bookmark>
-+    <bookmark href="http://l4dev.org"> <title>Codezero Kernel</title> </bookmark>
-+    <bookmark href="http://hypervisor.org"> <title>NOVA Hypervisor</title> </bookmark>
-+    <bookmark href="http://l4ka.org/projects/pistachio/"> <title>L4ka::Pistachio Kernel</title> </bookmark>
-+    <bookmark href="http://wiki.ok-labs.com"> <title>OKL4 Kernel</title> </bookmark>
-+
-+    <separator/>
-+
-+    <bookmark href="http://www.phoronix.com"> <title>Phoronix</title> </bookmark>
-+    <bookmark href="http://www.golem.de"> <title>Golem</title> </bookmark>
-+    <bookmark href="http://osnews.com"> <title>OS-News</title> </bookmark>
-+
-+    <separator/>
-+
-+    <bookmark href="http://www.genode-labs.com"> <title>Genode Labs Company Website</title> </bookmark>
-+    <bookmark href="http://genode.org"> <title>Genode.org Project Website</title> </bookmark>
++    <bookmark href="https://www.genode-labs.com"> <title>Genode Labs Company Website</title> </bookmark>
++    <bookmark href="https://reddit.com/r/genode"> <title>Genode on Reddit</title> </bookmark>
++    <bookmark href="https://lists.genode.org/pipermail/users/"> <title>Genode Mailing List</title> </bookmark>
++    <bookmark href="https://github.com/genodelabs/genode"> <title>Genode GitHub Repository</title> </bookmark>
++    <bookmark href="https://genode.org"> <title>Genode.org Project Website</title> </bookmark>
++    <bookmark href="https://genodians.org"> <title>Genodians.org - Stories around the Genode Operating System</title> </bookmark>
 +
      <folder folded="yes">
          <title>Bookmarks Bar</title>