#1: added travis badge