Plugins can now be downloaded from the server. To ensure uniqueness and
no problems with spaces and so on, all access to plugin files is now
made with the repo name (provided on the website). Add repo name where
needed and changed plugins to implement those changes.