Downloading and installing

(Unfortunately we have not yet been able to port Grinvin 1.3.1 to MacOS.
For some obscure reason the main Grinvin window does not show up in this version
and we have not yet been able to find out why.)