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

[D. Hugh Redelmeier]

New commits:
commit feaad7c6f70c04702ac797a26c2df108e63fb775
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Wed Nov 1 20:47:54 2017 -0400

    pervasive minor improvements
    
    - fix each use of "hopefully"
    
    - introduce and exploit bool_str() to format bool values
    
    - move kern_interface into programs/pluto/kernel.[ch]