Extract interface for configuration
Remove Configuration class and minor cleanup
rename interface
Merge pull request #95 from runtimeverification/extract_interface

Extract interface