Expose #downloaded_file in the software DSL

This method also restores the old #project_file method, but it has been
deprecated