travis: adding aravis