Renamed stl_vector_tools.hpp --> std_vector_tools.hpp, #983