travis: Use ant to build sphinx docs