Turtle code and diagrams for the envi and bldg examples

First version of BDLD and ENVI examples diagrams.

The code for the ENVI is left.

prefix is now s4bldg

Added
TTL and RDF/XML files with the provenance information to IFC in
BuildingSmart

Updates in requirements (needed to generate the provenance triples)

Updates in ENVI and BLDG diagrams

change prefix to s4envi
change axiom in PhysicalObject about contains

and the axiom in Device

first version of the bldg with axioms in classes.

real ranges and complex numbers should be refined.

First version of the bldg ontology including clases and properties

Con los cambio de las restricciones globales y las cordialidades

Raw RDF statements generated from GoogleRefine for the bldg extension.
No ontology added yet.

Version 4 of the diagram added.

First version of the full ontology without comments