added travis badge, fixes #11