Since June 15th, 2021, the building on travis-ci.org is ceased. Hence switch to AppVeyor.
This change makes it possible to tell Travis CI to trigger a build after every push and every time a new merge request is submitted. Signed-off-by: Bart Van Assche <bvanassche@acm.org>