normal_p function

Define a truncated normal prior (on [0;+Inf])