Huge Improvement

1) Individual scope specification 
2) Improved UI: Clafer syntax highlighting
3) Configurable backends and output formats
4) Support for scope strategy and compilation flags
5) Testing and bug fixes