Use Maven in the Travis CI configuration