Slight prettifying of lucas_lehmer.c