rmammen_point function

Random deviates of Mammen distribution.