Lib.Paths
Paths Kind 2 can write some files. Factored to avoid clashes.
val testgen : string
Test generation files path.