Added directory structure for source files of stochastic analysis

Conflicts:
	SafetySharp.sln
	Source/SafetySharp/SafetySharp.fsproj

Conflicts:
	Source/SafetySharp/SafetySharp.fsproj
	Tests/SafetySharp/SafetySharp Tests.fsproj
Added file to add types of measurement units

Conflicts:
	Source/SafetySharp/SafetySharp.fsproj
Stochastic Analysis: Some types added for probabilistic distributions
Stochastic Analysis: Add files for distributions

Conflicts:
	Source/SafetySharp/SafetySharp.fsproj
Stochastic Analysis: More documentation
Stochastic Analysis: Improved comments. Should be clearer now
Stochastic Analysis: Description of connection of exponential distribution in mathematics and in safety analysis
Safety Analysis: Description of GeometricDistribution
Stochastical Analysis: Stubs for approximation
Stochastic Analysis: Details on the conventions of applied by the GeometricDistribution
Before rebase
After rebase
Stochastic Analysis: Explained the reason for GeometricDistribution more clearly
Stochastic Analysis: Some notes
SMT LIB 2, Z3: Import SMT LIB 2 and Z3 Parser from another internal project
* SMT LIB 2, Z3: Added Tests