proposal: Gantt chart fixes
scripts/cleanbib: Add a header to processed files

This changes the behaviour of "cleanbib" so that when writing out a
BibTeX file, it prepends a header to the output in the form:

    File generated automatically by 'cleanbib' script.

    **********************************
    * DO NOT EDIT THIS FILE BY HAND! *
    **********************************
scripts/cleanbib: Refactor two functions

This extracts two functions out from the monolithic "__main__" block.
proposal: Reset footnote counter on every page