Add marvin to travis notification