Edit release messages; add Travis badge