Bumps the version number of the extension.

pxt bump [--update] [--upload] 

Updates the pxt-core dependency version to the latest tag.

Uploads the target upon bumping

pxt tool