Redact strategoxt

Replaced by the Spoofax project:
http://strategoxt.org/Spoofax/