Add license; tweak Travis scripts