Adapt scripts for POSIX

As requested in the how-to-docs.html file, here are POSIX versions of the scripts. I haven't tested the update_lists.sh one because I don't know how to get the raw annex-f file.