I am not merging yet because I don't know why Travis is failing, can anybody check this, please?

Travis is failing because (1) a Changes entry is missing and (2) check-typo is failing.

The check-typo failure is non-standard (it is not due to a typo), I believe that it comes from the following piece of code in tools/ci/travis/travis-ci.sh that probably needs updating:

 if [ -e CHECK_CONFIGURE ] ; then
    rm -f CHECK_CONFIGURE
    echo "configure or configure.ac altered in $1"
    echo "Verifying that configure.ac generates configure"
    git checkout "$1"
    mv configure configure.ref
    ./autogen
    if ! diff -q configure configure.ref >/dev/null ; then
      echo "configure.ac no longer generates configure, \
please run ./autogen and commit"
      exit 1
    fi
  fi

The relevant portion of the log is as follows:

configure or configure.ac altered in a453d65a7a3dcecdc594a1763b63f649c2d8e580
Verifying that configure.ac generates configure
HEAD is now at a453d65 Merge 53a93199f5b1ffa37b5a90bd748dfee0226d9c81 into f2c71fe44dd5ce6117234e954faf4d44b4e5c362
tools/autogen
configure.ac no longer generates configure, please run rm configure ; make configure and commit
The command "bash -e tools/ci/travis/travis-ci.sh" exited with 1.

(Apparently some of the travis-ci.sh code above was modified by the PR itself, so @dra27 should know about this.)