Clafer Model View

Added Clafer Model View.
It is used to display the contents of the input file while it is being loaded and processed.
The view shows the Clafer model in the HTML format, therefore, it is possible to navigate.
Also, fixed several bugs with examples.