Migrate to spoofax1.3 stable