Reworked the README file for references and validators (#6)

* extended TimeVaryingWebReference doc

* added validator info to website and project_website reference

* Updated readme for all references up to ListOfTestCases

* Again reworked the references readme

* extended documentation for validators

* cosmetic change

* cosmetic changes

* small fix in TimeVaryingWebReference

* Update .dotstop_extensions/README.md

Co-authored-by: halnasri <hatem.alnasri@d-fine.com>
Signed-off-by: Luca Füger <luca.fueger@d-fine.com>

* Added : to expected configuration

* Update .dotstop_extensions/README.md

Co-authored-by: halnasri <hatem.alnasri@d-fine.com>
Signed-off-by: Luca Füger <luca.fueger@d-fine.com>

* validator addition

* Added combinator trudag remark

* added database to README

* removed :

* Update .dotstop_extensions/README.md

Co-authored-by: Erik Hu <erik.hu@d-fine.com>
Signed-off-by: Luca Füger <luca.fueger@d-fine.com>

---------

Signed-off-by: Luca Füger <luca.fueger@d-fine.com>
Co-authored-by: halnasri <hatem.alnasri@d-fine.com>
Co-authored-by: Erik Hu <erik.hu@d-fine.com>

Author: 3 people