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

[D. Hugh Redelmeier]

New commits:
commit 7dea1b64dd3442b9b98cd092c9851e4beee010cb
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Thu Jan 16 22:44:51 2014 -0500

    - Unify alg_enum_search_prefix and alg_enum_search_ppfix as alg_enum_search
    - tidy alg_enum_search
    - fix incorrect comments in programs/pluto/plutoalg.c
    - get rid of some more gotos