Travis badge and notifications

Sorry for the trivial PR, looks like I don't have the right write rights to this repo.