add: travis conf, semicolon.cocci