Add `--no-download` flag for easier/better packaging

This should address (partially) issue #76 (the pre-download step is the remaining part).

I've modified the existing test, although I'm not sure if I've done it right, but cabal test passes (both with and without `--no-net`).