Moved width(), read_header and write_header from int_vector_trait to int_vector