Store file contents as raw vectors for binary files

We define binary files as files containing at least one embedded null
character.

All files are read as raw vectors now. Binary files are kept as raw
vectors, text files as character. As a typical plugin either works on
binary files, or on text files, but not both, this is fine, we
don't need to convert between the raw and text representation.
On a second thought, if we mean this to be a general data/file processing tool, then it is desirable to support other encodings as well. But I think we can add a way to specify file encodings later. For now UTF-8 is fine, that would be the default if the encoding is not specified, anyway.