Workaround for Cygwin's Ketarin job

* The Ketarin installer binary does not change when a
  new version is released, which is a problem for Ketarin.
* This workaround figures out the URL for the new version
  announcement (which always changes) and uses that
  as dummy downlodad file for the Ketarin job.