I’m posting this mainly to remind myself how I did it, when the time comes to do it again. I added some detailed instructions (like where to cd to and so on) in case somebody else is interested in these instructions. So let’s see: