removed binaries from main source branch (they are in the gh-pages)
Merge branch 'master' of src.galois.com:/srv/git/FiveUI
Merge branch 'master' of github.com:GaloisInc/FiveUI
removed spurious libpeerconnection.log files that chrome started leaving around
Merge branch 'master' of github.com:GaloisInc/FiveUI