Support multiple source files

*.c -> *.bc -> $(NAME).all.bc -> *.trace.bc (by trace-giri) -> $(NAME).trace
                      |-------->  $(NAME).slice (by dgiri)  <-----|
Add test 16 for multiple source files