gnunet-chk.py removetrailingwhitespace.py check-texinfo.awk