Use a Maven/Ivy proxy to speed up Travis build