Add restig

Never mind the previous commit.
We need to make changes to the restig project, so the github version won't
do. Instead, here is the full contents of that project, which is now
absorbed into ours.