- Version bump to v1.3
* drop 8.patch - got merge upstream
* "This release includes a few bug fixes, a few improvements to
the build process, and some extra information added to the
documentation."