[RED] Ported Converter module to stdlib 0.8.1

  Probably due to a bug the conversion of existential properties
  is broken.
First attempt to define a generators for dependent types
Completed definition of >-gen
Added type synonims for SimpleGenerator
More examples with less-than-equal
Added examples for lists and vectors
Added new Colist definition following Danielsson's example

  With this new data-type it should be possible to manipulate
  colists in a productivity-preserving manner.
Ported examples to new Generator definition

  Moved examples to separate module
Added level polymorphism to the ColistP data-type
Failed to define concat for ColistP
Failed to define concat for ColistP
Merge branch 'generator' of github.com:marco-vassena/testing-agda into generator
Modified gitignore
Added angelic generator for vectors

  Lemmas for productivity
Added examples for in-list data type
Added angelic version for <=
Improved example generators using ColistP
Refactoring

  Added iterate to Generator.Base
Attempt to define converter between two interfaces

  Added fin example
First attempt to write a generator for lambda terms