[Swan-commit] Changes to ref refs/heads/hugh-wip

[D. Hugh Redelmeier]

New commits:
commit 20b6558b93a47aa6fead62b6a53bdf629cec0b4e
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Wed Oct 30 16:38:11 2013 -0400

    - make more things file static
    - rationalize placement of declarations
    - delete vestigial programs/pluto/ike_alginit.c
    - eliminate a couple of GOTOs
    - eliminate race-like bug in programs/pluto/ike_alg_status.c