Preparations for a future server auto-updater

Edited the GitHub file that decides if executable files would be updated
with the project to make it possible for an autoupdater to download
already compiled (by me) server files.