* improve the test for isSpecFile
* provide a list of all keys (control lines) defined by SPEC