#75 decode the filename in HttpDownload

The argument filename is decoded with URLDecoder.decode() in the
constructor of HttpDownload before determineDestinationFile() is called.
Merge branch 'feature/75-decode-filename' into dev