Change the download link to the github one as suggested by 

closes openETCS/toolchain#326