Downloads pages: don't rely on PHP anymore (closes #490) [ci skip].

We don’t provide the size of the downloads anymore. Instead, if we the
script is to be run off the website, then we retrieve the file sizes
using a PHP script that we execute from our JavaScript file (!!).