Introduced a typedef size_type in matrix, vector and corresponding

arrays and allocator. This should eventually be set to std::size_t to
address the entries of the allocated entries.

Currently dd crashes if size_type is size_t. Therefore it is still int
right now.

[[Imported from SVN: r2312]]