Flashing the PICO

#TODO:DS: Instructions for flashing a Pi Pico with your built project. Both with the button press and the probe. Or just the probe? idk. Also, Can I configure the launch files to do the flashing?