Import external files

This commit adds the feature of importing files from external URLs, as described in #51.