First FMI implementation to find parameter faults
Added needed Records to read the FMI
Extended the names the the complete path for compatibility
Added examples for redeclared replaceables
Documentation update
Update the variable faults finding algorithm to fix the bug that the faults cannot be found.
- still untested
Removed the now unnecessary maximal initialization
Removed the dependencies on the maximal search size
completely integrated the FMU for model checking
Added one time less translation in the generation process.
Merge pull request #16 from fvanderlinden/FMI

Fixed bug with redeclared replaceables. Maxsearchsize is not needed anymore