Replace unlagda.py with "simpler"(?) `sed` pipeline
I tend to use inline commands in Makefile
s, but that's just my style.
This sed
pipeline could have used groups and branches, but I thought the simple pipeline of one sed
to another was clearer to the world that is not so familiar with sed
.