dist/tools: add filter option to externc check
Travis: modify externc check