/ulo: add exported RDF data from ULO paper as Git submodules

If this destroys your file system I am sorry, but I'd like
to experiment w/ keeping everything in one place.

.gitmodules

+[submodule "ulo/coq.8.9.0"]
+	path = ulo/libraries/coq
+	url = git@gl.mathhub.info:Coqxml/coq.8.9.0.git
+[submodule "ulo/Distribution"]
+	path = ulo/libraries/isabelle-distribution
+	url = git@gl.mathhub.info:Isabelle/Distribution.git
+[submodule "ulo/AFP"]
+	path = ulo/libraries/isabelle-afp
+	url = git@gl.mathhub.info:Isabelle/AFP.git

coq @ a9d7038b

+Subproject commit a9d7038b77f0356311f4b3b6f531458cb66a7e0e

isabelle-afp @ 1ce32ec0

+Subproject commit 1ce32ec014747e08d6e9782aed4cdd6631224fd6

isabelle-distribution @ beb24f82

+Subproject commit beb24f82b77007110f0568031d3ddaf75980be9e