Add Travis-CI badges to README etc.