[emacs] update 4 drones

Update dante      to  1.4-80-g8d5e00d
Update ghub       to v3.1.0
Update helm       to v3.0-71-g03f293db
Update proof-site to v4.4-224-gebb55c99

diff --git a/lib/dante b/lib/dante
index f16562a..8d5e00d 160000 (submodule)
--- a/lib/dante
+++ b/lib/dante
@@ -1 +1 @@
-Subproject commit f16562abe570f5ca0e7abbf8c7058c81976a921f
+Subproject commit 8d5e00d268aa37d91baaa675cead953e58f19c6d

diff --git a/lib/ghub b/lib/ghub
index 53e2e29..08032f8 160000 (submodule)
--- a/lib/ghub
+++ b/lib/ghub
@@ -1 +1 @@
-Subproject commit 53e2e29308a70968be4eda0ff640dc7b538205a6
+Subproject commit 08032f866423d9a2f5c90794fe7f147b24adb8c5

diff --git a/lib/helm b/lib/helm
index c484698..03f293d 160000 (submodule)
--- a/lib/helm
+++ b/lib/helm
@@ -1 +1 @@
-Subproject commit c48469862cdabe5df308487da279a069c80cd8e7
+Subproject commit 03f293db6f3ecfc90a56a48c1ec4fc8f0d9d31dc

diff --git a/lib/proof-site b/lib/proof-site
index 883ce2f..ebb55c9 160000 (submodule)
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit 883ce2ff1092003b6341cfebd1d7b2ab31239a41
+Subproject commit ebb55c998867fd13f8767a52a9542447347f7dc1