Remove the ghcide submodule

Author: pepeiborra

.gitmodules

@@ -8,10 +8,3 @@
 #     Commit git commit -m "Removed submodule <name>"
 #     Delete the now untracked submodule files
 #     rm -rf path_to_submodule
-[submodule "ghcide"]
-	path = ghcide
-	# url = https://github.com/alanz/ghcide.git
-	# url = https://github.com/wz1000/ghcide.git
-	url = https://github.com/haskell/ghcide.git
-	# url = https://github.com/fendor/ghcide.git
-	# url = https://github.com/bubba/ghcide.git