~kiithsacmp/miniini/trunk

Added detailed memory benchmarking measurements used with flag MINIINI_BENCH_EXTRA. Increased default allocator block count to from 16 to 32. Version-compare.py now uses make to compile compared versions, and has a new option, --no-stl, to disable STL benchmarks. Logging buffer size was decreased from 1024 to 768 bytes. INISection and allocator block classes are now smaller to save memory - using 32bit ints instead of fastest ints available on platform. This does not change peak memory usage much, but decreases INIFile data structure overhead measurably. Names of time extra benchmarking measurements used with MINIINI_BENCH_EXTRA were changed to improve consistency. Small bug fixed in the article about MiniINI data storage and in testutil-compare.py. Added a help() function to commit.py to print usage information.