germline/split-from-imgt.py: get sequences from several files

See #3515.
10 jobs for feature-ga/3515-imgt-all in 60 minutes and 33 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test Tools
passed #217870
test_tools

00:00:08

 
  Test Unit
passed #217871
test_algo_unit

00:03:26

 
  Test Germlines
passed #217872
test_germlines

00:06:32

 
  Test Functional
passed #217873
test_algo_should

00:11:35

 
  Test Shouldvdj
passed #217874
test_algo_shouldvdj

00:26:50

 
  Coverage
passed #217875
algo_coverage

00:02:02

89.1%
 
  Prepare Release
manual #217876
allowed to fail manual
prepare_release
 
  Valgrind Unit
passed #217877
valgrind
algo_valgrind_unit

00:09:56

 
  Valgrind Functional
manual #217878
valgrind allowed to fail manual
algo_valgrind_functional
 
  Multiple Tests
manual #217879
several-compilers allowed to fail manual
test_various_compilers_manual