Update CI/CD code: always use a fresh git clone

Instead of doing a git pull every time we deploy, it is better to remove the project directory and then do a fresh clone + git switch of the project. That way, we avoid trouble when e.g. someone somehow modifies project files on the server, or, more likely to happen, when the remote repo has changed in such a way that a git pull would lead to merge problems etc.