Teach travis to build multiple configurations. This is done by using

TravisCI's build matrix feature. We set an environment variable to
indicate which configuration we want.

Unfortunately there doesn't seem to be a direct way to have options
set with -D to CMake be set instead with environment variables. So
instead we use a wrapper script to set the configuration.