Version 1.7.2

We've done so many works upon the original Skim app, making Preskim a Skim distro with a brand-new and catching-guidelines user interface.

Now is the time to publish the project.