This reverts commit 821c61e9967e62fd81038e4b879c5452bffe2dfb.

memory mapping the entire file has been benchmarked to be less
efficient than the old implementation (because of more than
doubling page faults).
A lengthy comment has been written to discuss different
implementations of file reading.