Update DynSem configuration for inclusing Spx nightly. Also import generated files.