Remove lots of files from .gitignore as they should now be in temporary directories.
Remove lots of files from .gitignore as they should now be in temporary directories.

CosyVerif/library,CosyVerif/library,CosyVerif/library