Export TruncatedMvNormal

TruncatedMvNormal is the (immutabile) type of the Truncated
Multivariate Normal distribution.
GenericMvNormal take integer mean

Mainly aesthetic — The mean are often Int.
Implementation of TruncatedMvNormal

Still to do: Quantiles.
Added test
Exclude emacs garbage