Lots of stuff

- fixed the progress bar that was buggy with large files (negative
value and stuff)
- fixed an infinite loop when a remote file could not be found
- get the url of the files to download dependind on the engine and the
download server selected