Add a "make clean" for Travis CI, just to be 100% sure. See #711