Change target for Travis CI (so that does not require pandoc)