Refactoring read and write methods of File

The splitting with if( std::is_same<...> ) is not perfect, the code for
all devices was always visible to the compiler, and irrelevant parts
were optimized out at a much later stage. To fix compilation for MIC and
custom data type, we need proper template specializations.