[Swan-commit] Changes to ref refs/heads/master

[D. Hugh Redelmeier]

New commits:
commit 941619f6c1b66c7ec79e7cdb43efeb203d50c9ef
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Mon Aug 18 12:08:38 2014 -0400

    Each crypto continuation now logs its start if DBG_CRYPT | DBG_CONTROL.
    
    Log includes corresponding state number.
    Added a few elucidating comments.
    passert is a kind of comment, right?