Change to my srcomp repo.

I made a fix there we need, and this is the one which contains
the linked revision.
Add a README.