Create spoofax-1.3