travis CI: exclude extern/ directory from testing