SSH: Move host specific stuff to local config

.ssh/config

@@ -1,6 +1,3 @@
-# Include local configuration file.
-Include config.local
-
 Host *
     AddKeysToAgent yes
     ServerAliveInterval 30
@@ -10,21 +7,4 @@ Host *
     ControlPersist 600
     ControlPath ~/.ssh/sockets/%r@%h-%p
 
-Host schnibble.tastytea.de gaffer.tastytea.de
-    Port 8022
-
-Host fd14:0:0:0:* 192.168.8.* fd23:0:0:0:* tastytea.de *.tastytea.de tzend.de *.tzend.de likeable.space
-    Port 10
-    # RemoteForward 127.0.0.1:51313 127.0.0.1:51313
-    ForwardAgent yes
-
-Host fd14::1 192.168.8.1 router.tastytea.de
-    User root
-    PubkeyAcceptedAlgorithms +ssh-rsa
-    HostkeyAlgorithms +ssh-rsa
-
-Host *-vm.tastytea.de
-    Port 22
-
-Host haiku-vm.tastytea.de
-    User user
+Include config.local