Merge pull request #4 from spderosso/master

Some cosmetic changes to the model
Merge pull request #5 from spderosso/master

Some facts + other misc changes
Added some concrete Server, Browser, Frame instances in main.als
More minor changes to the model
Added some draft text
More text added
Added message figure
Made the frames relation inside browser dynamic