Merge pull request #17 from rjw57/download-using-requests

use requests to download DEM
download: make DEM download failure fatal

As noted in [1], DEM download errors should be fatal.

[1] https://github.com/cuspaceflight/ruaumoko/pull/17/files#r19053619
download: properly wrap open() with a with statement

As noted in [1], relying on file objects from open() to be correctly
flished and closed on garbage collection is poor form.

[1] https://github.com/cuspaceflight/ruaumoko/pull/17/files#r19053639
download: non-zero exit status on exception

Exit with non-zero status is an exception is raised in main() which is
not otherwise handled.
download: add option to download separate chunks

This is a little ugly in that it sort of hacks two different semantics
into one option: <dataset-location>. If we're to transition to a
different dataset storage format we need the tools to speak both worlds
for the moment.
download: optionally keep original chunk filenames