Update server files, fix docker configuration