Move fileformat.txt to docs/