pyocd has no "read" command... so how do you read a chips flash memory?