version 0.13

With this release, minor updates (i.e. those that do not affect dependencies) no longer require a reinstall but can be performed from within the application. There are also lots of bug fixes. The Mac version finally has an icon :-)