Fixed build for AV

Fixed build errors in ConcurrentHoudini

Merge pull request boogie-org#62 from garbervetsky/master

Replace ListEnumertor by Enumerator.  The idea is to use the same nam…

Merge pull request boogie-org#111 from smackers/update-boogie

Update boogie

Merge pull request boogie-org#102 from boogie-org/shuvendu-probe-rule

A few changes to a rule file and propInst

Merge pull request boogie-org#108 from michael-emmi/restore-totaluser…

…time

Restoring TotalUserTime increment removed by boogie-org#106.

Merge pull request boogie-org#107 from michael-emmi/update-boogie #major

Updated to latest Boogie; marking as first major release.

Update .travis.yml