Binary topography files

As I suggested in #156, this PR adds the topography files as 16-bit signed integer binary files. Using this format shrinks the file from ~70MB to ~30MB, which is well below the hard limit, and comfortably below the soft limit as well.