exs: fix missing RandomGenerator constructor

Into counter examples, the constructor was missing.
de: remove unecessary glue directory

Glue is now into anther vle package and is removed from
the difference-equation extension