The v0.8 build was broken because the CTAN package updated to v0.9 and
CTAN doesn't keep old versions of packages.
Besides bumping the version, this commit changes the src url from the
unversioned CTAN link (which would break the derivation every time a new
version of the package released, as it did yesterday) to the versioned
Github release link.