Bug#958287: More recent release on author's GitHub

[Martin Lester]

Hello.

There seems to be a marginally more recent release (version 1.1) on
the author's GitHub:

https://github.com/niklasso/minisatp

Martin Lester.