update to runtime from Spoofax instead of local installation of runtime