update readme to reflect Spoofax 1.3 dependency