remove unused string_splitter.hpp (fix #233)