* src/syn/Makefile.am: Use stratego-regular to generate the signature. * src/syn/BoxedSdf2.str: Delete.