Checklist for committing to the Asterix Git repository
======================================================
* License and copyright headers (date, authors) still appropriate?

* Prox commit hash in Makefile still valid?

    head Makefile
    git -C ../prox log -1

* If the self-hosting compiler was changed, should the prox2 bootstrapping
  compiler be changed also?

* If Makefile changed, does make.sh need to be updated as well?

* make test

* Sizes and binary hashes in bootstrap.txt still valid?

    ./make.sh clean-all && ./make.sh
    sha256sum asterix asterix-asm elfwrap
    openssl rmd160 asterix asterix-asm elfwrap

    bash -c 'diff -su <(tail -n 17 bootstrap.txt) <(./checksum)'

* Everything committed, commits ok?

    git status
    git log -3 --stat