Use int_vector_buffer for wt_int construction

also fixed a bug in ram_filebuf (should fix issue #140)
Set buffer size to 10MiB
Merge pull request #160 from simongog/remove_temp_write_read_buffer

Use int_vector_buffer for wt_int construction