Klever

I hope that I will have enough time to fix this together with other refactorings of rule specifications. But it doesn't touch just rule specifications. Now parts of environment model specifications are also located within directory linux although nothing references them directly.

This looks more like a feature request.

It looks like nobody needs this actually. The coverage parser uses straightforward filters to distinguish original source files from (generated) specifications.