Branch with examples

Upload of the "Pizza Example". A step-by-step guide to the use of HOMER is here given in this simple pizza-ontology example. A first version of the documentation is also provided.