Rename the `mapped_memory_total_size` setting to `dbms.pagecache.memory`

The internal setting for the cache page size has similarly been renamed.
Also some small cleanup of the memory mapping stats logging settings, which are not used anymore.