Delete lwt.simple-top

Resolves #371.

The changes to discover.ml done in #313 are left in place, because I am
not sure if we still want to pass the -custom flag.

META.lwt

@@ -56,26 +56,6 @@ package "preemptive" (
   requires = "lwt.unix"
 )
 
-package "simple-top" (
-  #directory = "simple-top"
-  version = "dev"
-  description = "Lwt-OCaml top level integration (deprecated; use utop)"
-  requires = "bigarray
-              bytes
-              compiler-libs
-              compiler-libs.common
-              lwt
-              lwt.log
-              lwt.unix
-              result
-              unix"
-  archive(byte) = "lwt_simple_top.cma"
-  archive(native) = "lwt_simple_top.cmxa"
-  plugin(byte) = "lwt_simple_top.cma"
-  plugin(native) = "lwt_simple_top.cmxs"
-  exists_if = "lwt_simple_top.cma"
-)
-
 package "syntax" (
   #directory = "syntax"
   version = "dev"

doc/CONTRIBUTING.md

@@ -297,7 +297,4 @@ This list surveys them, roughly in order of importance.
 - *deprecated* `src/camlp4/` contains the Camlp4 syntax extension, which is
   deprecated in favor of the PPX (in `src/ppx`).
 
-- *deprecated* `src/simple_top/` contains the Lwt top-level, which is deprecated
-  in favor of [utop][utop].
-
 [utop]: https://github.com/diml/utop

doc/Makefile

@@ -14,7 +14,6 @@ INCS=\
 	-I ${BLD}/ppx \
 	-I ${BLD}/preemptive \
 	-I ${BLD}/react \
-	-I ${BLD}/simple_top \
 	-I ${BLD}/unix
 
 MLIS=\
@@ -24,7 +23,6 @@ MLIS=\
 	$(wildcard ${SRC}/ppx/*.mli) \
 	$(wildcard ${SRC}/preemptive/*.mli) \
 	$(wildcard ${SRC}/react/*.mli) \
-	$(wildcard ${SRC}/simple_top/*.mli) \
 	$(filter-out ${BLD}/unix/lwt_unix.cppo.mli,$(wildcard ${BLD}/unix/*.mli))
 
 MLIS := $(filter-out %.pp.mli,$(MLIS))

src/util/install_filter.ml

@@ -34,7 +34,6 @@ let sub_paths = [
   "log";
   "options";
   "syntax";
-  "simple-top";
   "ppx";
 ]