Tweak Travis; make Github webhook more semantic, add Travis webhook