Revert "Update spoofax libs"

This reverts commit 9f4b593bba5394770e7916fc3ace4d4d106ff431.