C++11v1

This release is the last version which uses the class int_vector_file_buffer for buffered reading of int_vector data from a stream.
The newer version will replace this class with int_vector_buffer, which allows reading and writing. Furthermore it also handles the loading and writing of blocks automatically and is therefore easier to use.