Split off trailing JS to work around po4a-gettextize stupidity

po4a-gettextize believes non-empty <script> blocks are translatable, so
we get around that by including an external file instead. Since the code
in question is currently only implementing the Download scrolling
effect, this shouldn't be a major problem.