Add notes for papers and restructure some notes
Update time table
Fix warnings and uncomment (known)  invalid lens definitions
Add implementation of test framework `EasyCheck`

The framework was presented in the paper "EasyCheck - Test data for free" (http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/flops08.pdf); this implementation is an adapted version of the implementation found in the old svn-repo, i.e. the svn-repo that was imported to git-ps. The additional module `SearchTreeTraversal` is used by the `EasyCheck` implementation and was also found in the old svn-repo and adapted for further usage.
Last but not least, `Test.curry` contains the examples from the paper.
Add module `LensCheck`

The `LensCheck` module implements properties to test the classical lens laws "GetPut","PutGet" and "PutPut". As a special case, test functions for lenses with lists as sources are added in order to use a custom value generator. The custom value generator does not generate empty lists.
Add module `GenerateTests.curry`

In order to test all lenses I have defined over the last few weeks, this module generates for a given module test functions of all defined lenses. For every lens definition, three functions are generated to test each lens laws. Additionally, a main function is defined to call all these test functions, i.e. all defined functions are tested.
Add generated test module
Add first version of .bib file
Clean up deleted files