travis configuration
Added Travis status badge
Merge branch 'origin/master' into virtus_and_representable