useful python extensions for vs code