[csmith-project/creduce] 473ef1: Remove `--force-yes` option.

[Eric Eide <eeide@cs.utah.edu>]

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/creduce
  Commit: 473ef132ef05ade85ec61eaf9a5503e56477073c
      https://github.com/csmith-project/creduce/commit/473ef132ef05ade85ec61eaf9a5503e56477073c
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2016-09-12 (Mon, 12 Sep 2016)

  Changed paths:
    M scripts/travis_deps.sh

  Log Message:
  -----------
  Remove `--force-yes` option.

It seems to no longer be required.  (I removed the comment about this
option in a previous commit, but forgot to remove the actual option.
Whoops!)


  Commit: 5a598df54a8311a8826673903b0541e5b6ad5463
      https://github.com/csmith-project/creduce/commit/5a598df54a8311a8826673903b0541e5b6ad5463
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2016-09-12 (Mon, 12 Sep 2016)

  Changed paths:
    M .travis.yml
    M scripts/travis_deps.sh

  Log Message:
  -----------
  Move to the Ubuntu 14 Travis-CI environment.

Use the Ubuntu 14.04 ("trusty") build environment at Travis-CI.  Until
now, we used the standard Travis-CI build environment, which runs Ubuntu
12.04.

I made this change today for two reasons.

First, Ubuntu 14 is what I commonly use for Emulab-based builds of
C-Reduce.  This has been my default for a long time, and it has been
tiresome to continually "port" the Travis-CI scripts from Ubuntu 12.04
to Ubuntu 14.04 for my work in Emulab.

Second, the LLVM nightly packages at <http://apt.llvm.org/> for Ubuntu
12.04 ("precise") don't seem to be available, at least not yet, but the
"trusty" packages are available.  Unavailable nightly packages cause the
Travis-CI builds of C-Reduce to fail.  I am tired of the Travis-CI
builds failing.


Compare: https://github.com/csmith-project/creduce/compare/7e0a37e29479...5a598df54a83