Generation of short pulses by a Pr3+: LiYF4 crystal with an efficient laser transition at 639.5 nm