Added percentage display to "make PRETTY=1"
Now "make PRETTY=1" is the default setting