Setting up Visual Studio Code for remote development on a Raspberry Pi