Add current (pre-git) version of sedbot.awk