testgen: included some *.imp files containing initial configurations used for test generation; included a shell script for testgen
testgen: minor: slightly changed output format